Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe volumeinclude 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 '…
Mehr
CHF 136.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-55727-2
- EAN: 9783540557272
- Produktnummer: 3263790
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1992
- Seitenangabe: 528 S.
- Masse: H24.2 cm x B16.6 cm x D3.0 cm 772 g
- Auflage: 1992
- Abbildungen: Paperback
- Gewicht: 772
56 weitere Werke von Andrei (Hrsg.) Voronkov:
Programming Logics
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Ebook (PDF Format)
CHF 73.50
Automated Deduction - CADE-18
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Ebook (PDF Format)
CHF 133.50
Handbook of Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Ebook (EPUB Format)
CHF 496.65
Bewertungen
Anmelden