The Classical Decision Problem - Couverture rigide

Boerger, E.; Gradel, E.; Gurevich, Y.

9783540570738: The Classical Decision Problem

Couverture rigide

ISBN 10 : 354057073X ISBN 13 : 9783540570738

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 67,57

0 Neuf

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.

�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'�dition: 1996
Langue: anglais
ISBN 10: 354057073X
ISBN 13: 9783540570738
Reliure: Reli�
Nombre de pages: 482
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Acheter D'occasion

�tat : Moyen

Reading copy. May have signs of...

Afficher cet article

EUR 67,57

Autre devise

Gratuit exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour The Classical Decision Problem

Image fournie par le vendeur

The Classical Decision Problem

Egon B�rger; Yuri Gurevich; Egon Boerger

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 : acceptable. Reading copy. May have signs of wear and previous use scuffs, library copy, highlighting, writing, and underlining . Dust jacket may be missing. 100% GUARANTEE! Shipped with delivery confirmation, if you�re not satisfied with purchase.Ships USPS Media Mail. N� de r�f. du vendeur OTV.354057073X.A

Contacter le vendeur

Acheter D'occasion

EUR 67,57

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

The Classical Decision Problem

Egon B�rger

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

Contacter le vendeur