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. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4915 0302-9743 ; . - Lecture Notes in Computer Science, 4915 .
9783540787693
10.1007/978-3-540-78769-3 doi
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.9.L63 QA76.5913 QA76.63
005.1015113
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. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4915 0302-9743 ; . - Lecture Notes in Computer Science, 4915 .
9783540787693
10.1007/978-3-540-78769-3 doi
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.9.L63 QA76.5913 QA76.63
005.1015113