Schreye, Danny.
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / [electronic resource] : edited by Danny Schreye. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6037 0302-9743 ; . - Lecture Notes in Computer Science, 6037 .
9783642125928
10.1007/978-3-642-12592-8 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / [electronic resource] : edited by Danny Schreye. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6037 0302-9743 ; . - Lecture Notes in Computer Science, 6037 .
9783642125928
10.1007/978-3-642-12592-8 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
QA76.9.L63 QA76.5913 QA76.63
005.1015113