The Classical Decision Problem
ISBN-13:
9783540423249
ISBN-10:
3540423249
Edition:
Softcover Repri
Author:
Yuri Gurevich, Egon Börger, Erich Grädel
Publication date:
2001
Publisher:
Springer
Format:
Paperback
492 pages
Category:
AI & Machine Learning
,
Data Processing
,
Databases & Big Data
,
Computer Science
FREE US shipping
Book details
ISBN-13:
9783540423249
ISBN-10:
3540423249
Edition:
Softcover Repri
Author:
Yuri Gurevich, Egon Börger, Erich Grädel
Publication date:
2001
Publisher:
Springer
Format:
Paperback
492 pages
Category:
AI & Machine Learning
,
Data Processing
,
Databases & Big Data
,
Computer Science
Summary
The Classical Decision Problem (ISBN-13: 9783540423249 and ISBN-10: 3540423249), written by authors
Yuri Gurevich, Egon Börger, Erich Grädel, was published by Springer in 2001.
With an overall rating of 4.1 stars, it's a notable title among other
AI & Machine Learning
(Data Processing, Databases & Big Data, Computer Science) books. You can easily purchase or rent The Classical Decision Problem (Paperback) from BooksRun,
along with many other new and used
AI & Machine Learning
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.3.
Description
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}