Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Häftad, Engelska, 1993
739 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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 selected from 84submissions, together with an invited paper by Peter Wegnerentitled "Reasoning versus modeling in computer science".
Produktinformation
- Utgivningsdatum1993-06-29
- Mått155 x 233 x undefined mm
- SpråkEngelska
- SerieLecture Notes in Artificial Intelligence
- Antal sidor394
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- EAN9783540569442