The Computational Logic Handbook

The Computational Logic Handbook

By (author)  , By (author) 

List price: US$88.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
show more

Product details

  • Hardback | 408 pages
  • 154.94 x 231.14 x 25.4mm | 748.42g
  • Academic Press Inc
  • San Diego, United States
  • English
  • 0121229521
  • 9780121229528