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.
- 1a ed.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 3901 0302-9743 ; .
9783540326564
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.63 / H55 2006