Logic-Based Program Synthesis and Transformation
Subtitle: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
By: edited by Danny Schreye
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6037
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 215
ISBN-13: 9783642125911; 9783642125928
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence