Automated deduction in classical and non-classical logic

Language: English

Published by Springer Verlag, 2000

3540671900 / 9783540671909

  • First Edition
  • Softcover
  • Used
See all details
Item image 1 of 2.

Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG

5-star seller

AbeBooks seller since October 17, 2019

Association member: BOEV

Softcover

Condition: Used - Very good

£ 32.34

£ 8.49 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

VIII, 297 Seiten Selected Papers. - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Untere Ecke leicht geknickt. - Lecture Notes in Artificial Intelligence 1761. Subseries of Lectur Notes in Computer Science. DE-10-53 Sprache: Englisch Gewicht in Gramm: 420.

Seller Inventory # 2049685

Title
Automated deduction in classical and non-classical logic
Author
Caferra, Ricardo und Gernot Salzer:
Publisher
Springer Verlag
Publication year
2000
Condition
Gut
Binding
23,5 x 15,5 cm
Language
English
ISBN 10
3540671900
ISBN 13
9783540671909
Edition
1. Auflage.
Item weight
420 grams
Seller catalogs
Modernes Antiquariat

avelibro OHG

Dinkelscherben, Germany

5-star seller

AbeBooks seller since October 17, 2019

Association member:

Shipping rates from Germany to U.S.A.

Item5 to 10 business days5 to 10 business days
First item£ 8.49£ 8.49
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Invoice

Association member

  • Börsenverein des Deutschen Buchhandels
Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

avelibro OHG

Römerstr. 4
Dinkelscherben, Germany 86424