Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers s…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-56944-2
- EAN: 9783540569442
- Produktnummer: 3257233
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 408 S.
- Masse: H23.5 cm x B15.5 cm x D2.2 cm 528 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 528
56 weitere Werke von Andrei (Hrsg.) Voronkov:
Programming Logics
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Ebook (PDF Format)
CHF 73.50
Handbook of Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Ebook (EPUB Format)
CHF 496.65
Bewertungen
Anmelden