Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
King, Andy.
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / [electronic resource] : edited by Andy King. - 1a ed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 4915 0302-9743 ; .
9783540787693
Computer science
Logic design
Artificial intelligence
Computer Science
Logics and Meanings of Programs
Programming Techniques
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
QA76.63 / K56 2008
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / [electronic resource] : edited by Andy King. - 1a ed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 4915 0302-9743 ; .
9783540787693
Computer science
Logic design
Artificial intelligence
Computer Science
Logics and Meanings of Programs
Programming Techniques
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
QA76.63 / K56 2008