Etalle, Sandro.
Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / [electronic resource] : edited by Sandro Etalle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3573 0302-9743 ; . - Lecture Notes in Computer Science, 3573 .
9783540316831
10.1007/b137785 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 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / [electronic resource] : edited by Sandro Etalle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3573 0302-9743 ; . - Lecture Notes in Computer Science, 3573 .
9783540316831
10.1007/b137785 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