Liknande böcker

Logic-Based Program Synthesis and Transformation
Bok av Germán. Puebla
Model Checking and Artificial Intelligence
Bok av Ron. Meyden
Model Checking and Artificial Intelligence : 5th International Workshop,...
Bok av Doron A. Peled
Principles and Practice of Constraint Programming - CP 2007 : 13th Inter...
Bok av Christian. Bessière
Automated Reasoning with Analytic Tableaux and Related Methods : 20th In...
Bok av Kai. Brünnler
Semantics and Algebraic Specification
Bok av Jens. Palsberg
Logic Programming : 24th International Conference, ICLP 2008 Udine, Ital...
Bok av Maria. Garcia de la Banda
25-Year Perspective on Logic Programming : Achievements of the Italian A...
Bok av Agostino. Dovier

Logic-Based Program Synthesis and Transformation

Bok av Germán. Puebla