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 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, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers — Paul Meurer (auth.), Peter Bosch, David Gabelaia, Jérôme Lang (2009)
- Logic, Language, and Computation [recurso electrónico] 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers — Ulle Endriss (auth.), Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter (2013)
- Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) — Ross D. King (auth.), Tamás Horváth, Akihiro Yamamoto (2003)
- Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science, 4483) — Nicola Leone (auth.), Chitta Baral, Gerhard Brewka, John Schlipf (2007)
