Automated theorem proving: A logical basis (Fundamental studies in computer science)

Language: English

Published by sole distributor for the U.S.A. and Canada, Elsevi, 1978

0720404991 / 9780720404999

  • Hardcover
  • Used
See all details

Seller: Mispah books, Redhill, Surrey, United KingdomMispah books

4-star seller

AbeBooks seller since April 15, 2021

Hardcover

Condition: Used - Good

£ 181.00

£ 25.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA82907204049913

Bibliographic details

Title
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Author
Loveland, Donald W
Publisher
sole distributor for the U.S.A. and Canada, Elsevi
Publication year
1978
Condition
Good
Dust jacket
Dust Jacket Included
Book Type
book
Binding
hardcover
Language
English
ISBN 10
0720404991
ISBN 13
9780720404999

Mispah books

Redhill, Surrey, United Kingdom

4-star seller

AbeBooks seller since April 15, 2021

Shipping rates from United Kingdom to U.S.A.

Item14 to 15 business days9 to 10 business days
First item£ 25.00£ 27.00
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

Store description

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books 1A Beechwood Villas, Salford Redhill , Surrey RH1 5EY United Kingdom

Specialty

Fiction & Academic Books, Science, General

Seller's business information

Mispah books

United Kingdom