Synopsis
This treatment of the classical decision problem of mathematical logic and its role in modern computer science provides an analysis of the natural order of decidable and undecidable cases. Of particular interest is the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many simple proofs and exercises are included in the book.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour The Classical Decision Problem
Image fournie par le vendeur
The Classical Decision Problem
Edité par
Springer, 1996
ISBN 10 : 354057073X
ISBN 13 : 9783540570738
Ancien ou d'occasion
Couverture rigide
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail. N° de réf. du vendeur OTV.354057073X.VG
Acheter D'occasion
EUR 86,58
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
The Classical Decision Problem
Edité par
Springer, 1996
ISBN 10 : 354057073X
ISBN 13 : 9783540570738
Ancien ou d'occasion
Couverture rigide
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-B-025-02242
Acheter D'occasion
EUR 126,89
Frais de port :
EUR 12,06
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
The Classical Decision Problem and Complexity of the Decision Algorithms
Edité par
Springer Berlin, 1996
ISBN 10 : 354057073X
ISBN 13 : 9783540570738
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 152071/203
Acheter D'occasion
EUR 83,71
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
The Classical Decision Problem and Complexity of the Decision Algorithms
Edité par
Springer Berlin, 1996
ISBN 10 : 354057073X
ISBN 13 : 9783540570738
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 152071/202
Acheter D'occasion
EUR 83,71
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
The Classical Decision Problem
Edité par
Springer 0, 1996
ISBN 10 : 354057073X
ISBN 13 : 9783540570738
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA829354057073X6
Acheter D'occasion
EUR 190,37
Frais de port :
EUR 28,35
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)