Handbook of practical logic and automated reasoning / John Harrison.

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...

Full description

Bibliographic Details
Main Author: Harrison, J. 1966- (Author)
Format: Book
Published: Cambridge : Cambridge University Press, 2009.
Online Access:CONNECT