Opening book details…
Can I read Logic For Programming, Artificial Intelligence, And Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (lecture Notes In Computer Science) on EtoBox?
Logic For Programming, Artificial Intelligence, And Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (lecture Notes In Computer Science) by M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.) is a computer science book available to read on EtoBox.
What is Logic For Programming, Artificial Intelligence, And Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear lo
Who reads Logic For Programming, Artificial Intelligence, And Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2002
- Language
- EN
- ISBN
- 9783540360780
- Category
- computer science
- Subjects
- Engineering, Mathematics, Programming
- Updated
- 2026-03-25
Other editions & translations
More by M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)
Similar books
- Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science, 6397) — Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (2010)
- Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings — Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (2005)
- Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science) — Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (2003)
- Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings — Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (1999)
- Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Lecture Notes in Computer Science (5330)) — Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (2008)
- Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings — Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (2013)
