Opening book details…
Can I read Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings on EtoBox?
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings by Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.) is a nonfiction available to read on EtoBox.
What is Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings about?
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592. Erscheinungsdatum: 01.07.1992
Who reads Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1992
- Language
- EN
- ISBN
- 9783540472797
- Category
- nonfiction
- Subjects
- Mathematics, Language Learning, Programming
More by Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)
Browse all works by Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)
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 programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings — Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (1992)
- 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 Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Biotechnology in Agriculture and Forestry) — Amy Felty, Douglas Howe (auth.), Frank Pfenning (1994)
- Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers — Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (2010)
- 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)
