Liknande böcker

Logic Based Program Synthesis and Transformation : 15th International Sy...
Bok av Patricia M. Hill
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Inductive Logic Programming : 22nd International Conference, ILP 2012, D...
Bok av Fabrizio. Riguzzi
Inductive Logic Programming : 16th International Conference, ILP 2006, S...
Bok av Stephen. Muggleton
Frontiers of Combining Systems : 10th International Symposium, FroCoS 20...
Bok av Peter Backeman
Formal Modeling and Analysis of Timed Systems
Bok
Logic, Language, Information, and Computation : 24th International Works...
Bok av Juliette Kennedy
Relational and Algebraic Methods in Computer Science : 16th Internationa...
Bok av Peter Hoefner

Logic-Based Program Synthesis and Transformation

Bok av Germán. Puebla