BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning
Stock photo: cover may vary

Logic Programming and Automated Reasoning Papeback - - 1993rd Edition

by Andrei Voronkov (Editor)

Add to wish list
  • New
New

Description

Springer , pp. 412 . Papeback. New.
Ask the seller a question Add to wish list
A$139.91
A$5.86 Delivery within USA
Standard delivery: 9 to 14 days
More delivery options
Ships from Cold Books (New York, United States)

Details

  • Title Logic Programming and Automated Reasoning
  • Author Andrei Voronkov (Editor)
  • Binding Papeback
  • Edition number 1993rd
  • Edition 1993
  • Condition New
  • Pages 394
  • Volumes 1
  • Language ENG
  • Publisher Springer , Berlin / London / New York
  • Publication date pp. 412
  • Illustrated Yes
  • Features Bibliography, Illustrated
  • Bookseller's Inventory # 61764852
  • ISBN 9783540569442 / 3540569448
  • Weight 1.27 lbs (0.58 kg)
  • Dimensions 9.21 x 6.14 x 0.84 in (23.39 x 15.60 x 2.13 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 93243523
  • Dewey Decimal Code 006.3
  • Quantity available 4

About Cold Books New York, United States

Biblio member since 2012

Terms of Sale: 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Cold Books

Reader reviews for Logic Programming and Automated Reasoning

From the publisher

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".
tracking-