Hill, Patricia M.
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / [electronic resource] : edited by Patricia M. Hill. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3901 0302-9743 ; . - Lecture Notes in Computer Science, 3901 .
9783540326564
10.1007/11680093 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 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / [electronic resource] : edited by Patricia M. Hill. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3901 0302-9743 ; . - Lecture Notes in Computer Science, 3901 .
9783540326564
10.1007/11680093 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