- Author: John Harrison
- Publisher: Cambridge University Press
- Number Of Pages: 702
- Publication Date: 2009-04-13
- ISBN-10 / ASIN: 0521899575
- ISBN-13 / EAN: 9780521899574
Description:
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.
Download Link:
- Handbook of Practical Logic and Automated Reasoning
- Archive password: ebooksclub.org | Handbook of Practical Logic and Automated Reasoning
- Archive password: ebooksclub.org | Handbook of Practical Logic and Automated Reasoning
- Archive password: ebooksclub.org | Handbook of Practical Logic and Automated Reasoning
0 komentar:
Posting Komentar