Hanus, Michael.
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / [electronic resource] : edited by Michael Hanus. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5438 0302-9743 ; . - Lecture Notes in Computer Science, 5438 .
9783642005152
10.1007/978-3-642-00515-2 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Algorithms.
Computer Science.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Algorithms.
QA76.758
005.1
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / [electronic resource] : edited by Michael Hanus. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5438 0302-9743 ; . - Lecture Notes in Computer Science, 5438 .
9783642005152
10.1007/978-3-642-00515-2 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Algorithms.
Computer Science.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Algorithms.
QA76.758
005.1