Kategorien
Handverlesen
Anne Applebaum
Fußball und andere Sünden
Rumänische Literatur
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)
Stichwort auswählen
Alle Stichworte
Automated Deduction (2)
Logic (2)
Modal Logic (2)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Logik (2)
Sprache auswählen
Sprachen
Englisch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Gebunden (1)
Taschenbuch (1)
Nur mit
-Notizen
Auf Lager
Alles
Nur Personen
Nur Titel
ähnliche Begriffe
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
Olivetti, N.
gesucht
eng
N. Olivetti / Dov M. Gabbay
Goal-Directed Proof Theory
Springer Netherlands
2010
Taschenbuch
284 Seiten
106,99
€
in Kürze
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to com…
eng
N. Olivetti / Dov M. Gabbay
Goal-Directed Proof Theory
Springer Netherlands
2000
Gebunden
284 Seiten
106,99
€
in Kürze
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to com…