Cover Image

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were caref...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Cervesato, Iliano. (Editor, http://id.loc.gov/vocabulary/relators/edt), Veith, Helmut. (Editor, http://id.loc.gov/vocabulary/relators/edt), Voronkov, Andrei. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Lecture Notes in Artificial Intelligence ; 5330
Subjects:
Artificial intelligence.
Software engineering.
Computer programming.
Computer logic.
Mathematical logic.
Artificial Intelligence.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-540-89439-1

Internet

https://doi.org/10.1007/978-3-540-89439-1

Similar Items