Torthaí Cuardaigh - functions computational ((programming recursion) OR (programming evolving)) basic tools*

Cuardaigh malartuithe:
functions computational » functions computation , function computation , directions computational
programming recursion » programming decision , programming session , programming decisions
programming evolving » programming solving , programming building , programming designing

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Foilsithe 2006

Clár Ábhair: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Introduction to Programming Concepts with Case Studies in Python

le Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
Foilsithe 2012

Clár Ábhair: “... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Foundation Flash 8

le Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Foilsithe 2006

Ábhair: “...Computer programming....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng