Handbook of Practical Logic and Automated Reasoning

John Harrison

15 ratings by Goodreads

Language: English

Published by Cambridge University Press, GB, 2009

0521899575 / 9780521899574

  • Hardcover
  • New
See all details

Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items
Hardcover

Condition: New

£ 187.48

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

Quantity: Over 20 available

Add to basket
Free 30-day returns

Item description from seller

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.

Seller Inventory # LU-9780521899574

Title
Handbook of Practical Logic and Automated Reasoning
Author
John Harrison
Publisher
Cambridge University Press, GB
Publication year
2009
Condition
New
Binding
Hardback
Language
English
ISBN 10
0521899575
ISBN 13
9780521899574
Item weight
1,390 grams

Rarewaves.com UK

London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

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

Item60 to 60 business days60 to 60 business days
First item£ 65.00£ 100.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

Seller's business information

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, United Kingdom W1W 8BE