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

Skip to content

Logic Programming and Automated Reasoning: 4th International Conference,
Stock photo: cover may vary

Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings Paperback - 1993 - 1993rd Edition

by Andrei Voronkov (Editor)

Add to wish list

Reader reviews for Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

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

Details

  • Title Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
  • Author Andrei Voronkov (Editor)
  • Binding Paperback
  • Edition number 1993rd
  • Edition 1993
  • Pages 394
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin / London / New York
  • Publication date 1993-06-29
  • Illustrated Yes
  • Features Bibliography, Illustrated
  • 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

More Copies for Sale

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

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

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540569442 / 3540569448
Quantity available
501
Seller
Item price
A$104.66
A$15.50 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 19
Add to wish list
Item price
A$104.66
A$15.50 Delivery to USA
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg,...

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

by Andrei Voronkov

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540569442 / 3540569448
Quantity available
10
Seller
Item price
A$112.69
A$19.30 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$112.69
A$19.30 Delivery to USA
Logic Programming and Automated Reasoning
Stock photo: cover may vary

Logic Programming and Automated Reasoning

  • New
Condition
New
ISBN 10 / ISBN 13
9783540569442 / 3540569448
Quantity available
4
Seller
Item price
A$139.87
A$5.85 Delivery to USA

Show details

Description:
Springer , pp. 412 . Papeback. New.
Add to wish list
Item price
A$139.87
A$5.85 Delivery to USA