Book by Brger Egon Grdel Erich Gurevich Yuri Borger Egon
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerAnbieter: -OnTimeBooks-, Phoenix, AZ, USA
Zustand: 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. Bestandsnummer des Verkäufers OTV.354057073X.A
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1994. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 482 | Produktart: Sonstiges. Bestandsnummer des Verkäufers 152071/202
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 482 | Produktart: Sonstiges. Bestandsnummer des Verkäufers 152071/203
Anzahl: 2 verfügbar
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
hardcover. Zustand: Acceptable. Acceptable. book. Bestandsnummer des Verkäufers D8S0-3-M-354057073X-6
Anzahl: 1 verfügbar