Liknande böcker

Logic-Based Program Synthesis and Transformation
Bok av María. Alpuente
Logic-Based Program Synthesis and Transformation : 18th International Sy...
Bok av Michael. Hanus
Model Checking and Artificial Intelligence : 5th International Workshop,...
Bok av Doron A. Peled
Model Checking and Artificial Intelligence
Bok av Ron. Meyden
Programming Languages and Systems
Bok av Gilles. Barthe
Automated Reasoning with Analytic Tableaux and Related Methods : 20th In...
Bok av Kai. Brünnler
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Semantics and Algebraic Specification
Bok av Jens. Palsberg

Logic-Based Program Synthesis and Transformation

Bok av María. Alpuente