|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Logic Programming and Automated Reasoning - 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Paperback, 1993 ed.)
Loot Price: R1,630
Discovery Miles 16 300
|
|
|
Logic Programming and Automated Reasoning - 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Paperback, 1993 ed.)
Series: Lecture Notes in Computer Science, 698
Expected to ship within 10 - 15 working days
|
LPAR is an international conference series aimed at bringing
together researchers interested in logic programming and automated
reasoning. The research in logic programming grew out of the
research in automated reasoning in the early 1970s. Later, the
implementation techniques known from logic programming were used in
implementing theorem proving systems. Results from both fields
applied to deductive databases. This volume contains the
proceedings of LPAR '93, which was organized by the Russian
Association for Logic Programming. The volume contains 35
contributed papers selected from 84 submissions, together with an
invited paper by Peter Wegner entitled "Reasoning versus modeling
in computer science."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
