9783540423249-3540423249-The Classical Decision Problem

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
FREE US shipping
Buy

From $180.08

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

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.
Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book