English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 108.54 €, highest price: 225.99 €, average price: 153.89 €
Handbook of Practical Logic and Automated Reasoning - Harrison, John
book is out-of-stock
(*)
Harrison, John:
Handbook of Practical Logic and Automated Reasoning - used book

ISBN: 9780521899574

ID: 1786255

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. Handbook of Practical Logic and Automated Reasoning Harrison, John, Cambridge University Press

Used or antiquarian book Betterworldbooks.com
Shipping costs:zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Handbook of Practical Logic and Automated Reasoning
book is out-of-stock
(*)
Handbook of Practical Logic and Automated Reasoning - new book

ISBN: 9780521899574

ID: 9780521899574

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. Books, [PU: Cambridge University Press]

New book Wordery.com
Nr. Shipping costs:, , zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Handbook of Practical Logic and Automated Reasoning - John Harrison
book is out-of-stock
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - new book

ISBN: 9780521899574

ID: 745651178

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Handbook of Practical Logic and Automated Reasoning Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Cambridge University Press

New book Thalia.de
No. 17199092 Shipping costs:, Versandfertig in 1 - 2 Wochen, DE (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Handbook of Practical Logic and Automated Reasoning - Harrison, John
book is out-of-stock
(*)
Harrison, John:
Handbook of Practical Logic and Automated Reasoning - new book

ISBN: 9780521899574

ID: 424447

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Computers Computers eBook, Cambridge University Press

New book Ebooks.com
Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Handbook of Practical Logic and Automated Reasoning - John Harrison
book is out-of-stock
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - hardcover

2009, ISBN: 9780521899574

ID: 9343246

Hardcover, Buch, [PU: Cambridge University Press]

New book Lehmanns.de
Shipping costs:Versand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Handbook of Practical Logic and Automated Reasoning

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

Details of the book - Handbook of Practical Logic and Automated Reasoning


EAN (ISBN-13): 9780521899574
ISBN (ISBN-10): 0521899575
Hardcover
Publishing year: 2009
Publisher: CAMBRIDGE UNIV PR
681 Pages
Weight: 1,406 kg
Language: eng/Englisch

Book in our database since 12.12.2008 00:16:11
Book found last time on 18.11.2017 20:27:55
ISBN/EAN: 9780521899574

ISBN - alternate spelling:
0-521-89957-5, 978-0-521-89957-4


< to archive...
Related books