Liknande böcker

Logic Program Synthesis and Transformation : 7th International Workshop,...
Bok av Norbert E Fuchs
Algorithms and computation
Bok av Ding-Zhu Du
Fundamentals of computation theory
Bok av Lothar Budach
Fachtagung Uber Automatentheorie und Formale Sprachen: No. 1 : GI. Gesel...
Bok av Karl-Heinz Bohling
Deep Learning with Python : A Hands-on Introduction
Bok av Nikhil. Ketkar
Pike
Bok av H. William (EDT) Welliver Martin (EDT) Bahr H. William (EDT) Welliver
VLSI Algorithms and Architectures : Aegean Workshop on Computing, Loutra...
Bok av Fillia Makedon
Logic programming and automated reasoning
Bok av Frank Pfenning

Logic based program synthesis and transformation : selected papers