1
Published 2015
Table of Contents: ... and Correlated Development of Vision, Strategies and Projects in Complex Environments.-20 Chaotic Interaction...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... and Complex Enterprise Transformation -- Run-Time Adaptation of Non-functional Properties of Composite Web...
View full text
Electronic eBook