![Goal-Directed Proof Theory - Applied Logic Series - Dov M. Gabbay - Bücher - Springer - 9789048155262 - 4. Dezember 2010](https://imusic.b-cdn.net/images/item/original/262/9789048155262.jpg?dov-m-gabbay-2010-goal-directed-proof-theory-applied-logic-series-taschenbuch&class=scaled&v=1414857206)
Freunden von diesem Artikel berichten:
Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition
Dov M. Gabbay
Preis
€ 121,49
Bestellware
Lieferdatum: ca. 30. Jul - 9. Aug
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition
Dov M. Gabbay
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.
268 pages, biography
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 4. Dezember 2010 |
ISBN13 | 9789048155262 |
Verlag | Springer |
Seitenanzahl | 268 |
Maße | 155 × 235 × 14 mm · 394 g |
Sprache | Englisch |
Alle anzeigen
Weitere Titel von Dov M. Gabbay
Alle Titel von Dov M. Gabbay ansehen ( u. a. Gebundenes Buch und Taschenbuch )