Handbook of Practical Logic and Automated Reasoning

Available
0
StarStarStarStarStar
0Reviews
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 ...
Read more
E-book
epub
Price
132.00 £
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 ...
Read more
Follow the Author

Options

  • Formats: epub
  • ISBN: 9781139637886
  • Publication Date: 12 Mar 2009
  • Publisher: Cambridge University Press
  • Product language: English
  • Drm Setting: DRM