Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings by Andrei VoronkovLogic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings by Andrei Voronkov

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg…

EditorAndrei Voronkov

Paperback | June 29, 1993

Pricing and Purchase Info

$125.55 online 
$141.95 list price save 11%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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".
Title:Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg…Format:PaperbackDimensions:400 pages, 9.17 × 6.1 × 0.68 inPublished:June 29, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540569448

ISBN - 13:9783540569442

Look for similar items by category:

Reviews