30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Logic Programming and Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992

Author: 


ISBN-13: 

9783540557272


ISBN: 

354055727X


Pub Date: 
Publisher:  Springer
Summary: This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reason...ing, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.

Voronkov, A. is the author of Logic Programming and Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992, published 1992 under ISBN 9783540557272 and 354055727X. Three hundred fourteen Logic Programming and Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992 textbooks are available for sale on ValoreBooks.com, two used from the cheapest price of $171.53, or buy new starting at $107.20.
 [read more]

Marketplace Prices
312 New from $107.20 2 Used from $171.53
  • Used $171.53
  • New $107.20
Price + Shipping
Condition
Details
Recommended
Product Details

ISBN-13: 9783540557272


ISBN: 354055727X


Pub Date:
Publisher: Springer
ValoreBooks.com is the best place for cheap Logic Programming and Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992 rentals, or used and new condition books that can be mailed to you in no time.
Where's My Stuff?
Shipping & Returns