Band 624
Logic Programming and Automated Reasoning International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Englisch ausgewählt
-
Auflage:1992
- 1993 Fr. 72.90
- 1992 Fr. 72.90 ausgewählt
- 2000 Fr. 72.90
- 1999 Fr. 72.90
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.07.1992
Abbildungen
XVI, 516 p.
Herausgeber
Andrei VoronkovVerlag
Springer BerlinSeitenzahl
516
Maße (L/B/H)
23.5/15.5/2.9 cm
Gewicht
791 g
Auflage
1992
Sprache
Englisch
ISBN
978-3-540-55727-2
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.
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.