Logic-Based Program Synthesis and Transformation
Subtitle: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
By: edited by Germán Vidal
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7225
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642322112
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Software engineering; Programming Techniques; Logic design; Logics and Meanings of Programs; Computer science; Artificial intelligence; Artificial Intelligence (incl. Robotics)