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, 2514) 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, 2514) by Matthias Baaz (editor), Andrei Voronkov (editor) is a nonfiction 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, 2514) about?
MaurizioLenzerini(Universit`adiRoma“LaSapienza”) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit ́eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J ̈orgSiekmann(DFKISaarbruc ̈ken) WolfgangThomas(RWTHAachen) MichaelZakharyaschev(King’sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos ́eManuelG ́omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G. Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus ́ Medina EricaMelis AntoineMin ́
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, 2514)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Matthias Baaz (editor), Andrei Voronkov (editor)
- Publisher
- Springer Berlin Heidelberg
- Published
- 2002
- Language
- EN
- ISBN
- 9783540000105
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
Other editions & translations
More by Matthias Baaz (editor), Andrei Voronkov (editor)
Browse all works by Matthias Baaz (editor), Andrei Voronkov (editor)
Similar books
- 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 : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings — Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (2005)
- Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence) — V. Wiktor Marek, Mirosław Truszczyński (auth.) (1993)
- 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, 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)
- 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)