Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: FermΓΌller, Christian G
Corporate Author: SpringerLink (Online service)
Other Authors: Voronkov, Andrei
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6397
Subjects:
Computer science
Software engineering
Logic design
Computer Science
Artificial Intelligence (incl. Robotics)
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Programming Languages, Compilers, Interpreters
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-16242-8
Show all versions (2)

Similar Items