Liknande böcker

Logic-Based Program Synthesis and Transformation : 18th International Sy...
Bok av Michael. Hanus
Logic-Based Program Synthesis and Transformation
Bok av María. Alpuente
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Logic-Based Program Synthesis and Transformation : 22nd International Sy...
Bok av Elvira. Albert
Logic-Based Program Synthesis and Transformation : 21st International Sy...
Bok av Germán. Vidal
Logic-Based Program Synthesis and Transformation : 19th International Sy...
Bok av Danny. Schreye
Logic for Programming, Artificial Intelligence, and Reasoning : 17th Int...
Bok av Christian G. Fermüller
Tools and Algorithms for the Construction and Analysis of Systems : 16th...
Bok av Javier. Esparza

Logic-Based Program Synthesis and Transformation

Bok av María. Alpuente