Skip to content

Handbook of Practical Logic and Automated Reasoning
Stock Photo: Cover May Be Different

Handbook of Practical Logic and Automated Reasoning Hardcover - 2009 - 1st Edition

by John Harrison


From the publisher

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.

Details

  • Title Handbook of Practical Logic and Automated Reasoning
  • Author John Harrison
  • Binding Hardcover
  • Edition number 1st
  • Edition 1
  • Pages 702
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 2009-03-12
  • Illustrated Yes
  • ISBN 9780521899574 / 0521899575
  • Weight 3.1 lbs (1.41 kg)
  • Dimensions 9.8 x 6.9 x 1.5 in (24.89 x 17.53 x 3.81 cm)
  • Library of Congress subjects Computer logic
  • Library of Congress Catalog Number 2009281331
  • Dewey Decimal Code 006.333

Media reviews

Citations

  • Choice, 02/01/2010, Page 0
Back to Top

More Copies for Sale

Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

by John Harrison

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521899574
ISBN 10
0521899575
Quantity Available
578
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$159.97
$10.07 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Practical Logic and Automated Reasoning.
Item Price
$159.97
$10.07 shipping to USA
Handbook of Practical Logic and Automated Reasoning
Stock Photo: Cover May Be Different

Handbook of Practical Logic and Automated Reasoning

by John Harrison

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521899574
ISBN 10
0521899575
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$178.82
$12.60 shipping to USA

Show Details

Description:
Cambridge University Press, 2009. Hardcover. New. 1st edition. 704 pages. 9.75x7.00x1.50 inches.
Item Price
$178.82
$12.60 shipping to USA
Handbook of Practical Logic and Automated Reasoning
Stock Photo: Cover May Be Different

Handbook of Practical Logic and Automated Reasoning

by Harrison, John

  • Used
Condition
Used - Very Good
ISBN 13
9780521899574
ISBN 10
0521899575
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$154.00
FREE shipping to USA

Show Details

Description:
Cambridge University Press. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$154.00
FREE shipping to USA
Handbook of Practical Logic and Automated Reasoning
Stock Photo: Cover May Be Different

Handbook of Practical Logic and Automated Reasoning

by Harrison, John

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521899574
ISBN 10
0521899575
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$192.00
$75.00 shipping to USA

Show Details

Description:
Cambridge University Press. hardcover. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
$192.00
$75.00 shipping to USA
Handbook of Practical Logic and Automated Reasoning
Stock Photo: Cover May Be Different

Handbook of Practical Logic and Automated Reasoning

by Harrison, John

  • New
Condition
New
ISBN 13
9780521899574
ISBN 10
0521899575
Quantity Available
101
Seller
Victoria, British Columbia, Canada
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$205.28
$14.99 shipping to USA

Show Details

Description:
Cambridge University Press. New. Special order direct from the distributor
Item Price
$205.28
$14.99 shipping to USA