ISBN: 9780792364733
[ED: Buch], [PU: Springer Netherlands], Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance o… Mehr…
booklooker.de |
2000, ISBN: 0792364732
[EAN: 9780792364733], Neubuch, [PU: Springer Netherlands Aug 2000], LOGIK; PHILOSOPHIE / PROGRAMMIERSPRACHEN; AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, This item is printed on d… Mehr…
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9780792364733
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 acknowledg… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9780792364733
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 acknowledg… Mehr…
Springer.com Nr. 978-0-7923-6473-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2000, ISBN: 0792364732
2000 Gebundene Ausgabe Logik, Philosophie / Logik, Programmiersprachen, Compiler und Übersetzer, automateddeduction; logic; modallogic; ProofTheory, mit Schutzumschlag 11, [PU:Springer … Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9780792364733
[ED: Buch], [PU: Springer Netherlands], Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance o… Mehr…
2000, ISBN: 0792364732
[EAN: 9780792364733], Neubuch, [PU: Springer Netherlands Aug 2000], LOGIK; PHILOSOPHIE / PROGRAMMIERSPRACHEN; AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, This item is printed on d… Mehr…
ISBN: 9780792364733
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 acknowledg… Mehr…
ISBN: 9780792364733
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 acknowledg… Mehr…
2000, ISBN: 0792364732
2000 Gebundene Ausgabe Logik, Philosophie / Logik, Programmiersprachen, Compiler und Übersetzer, automateddeduction; logic; modallogic; ProofTheory, mit Schutzumschlag 11, [PU:Springer … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Goal-Directed Proof Theory Dov M. Gabbay Author
EAN (ISBN-13): 9780792364733
ISBN (ISBN-10): 0792364732
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Netherlands Core >2 >T
284 Seiten
Gewicht: 0,578 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-19T00:16:27+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-29T17:05:29+01:00 (Berlin)
ISBN/EAN: 9780792364733
ISBN - alternative Schreibweisen:
0-7923-6473-2, 978-0-7923-6473-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gabba, olivet, olivetti, dov gabbay
Titel des Buches: theory goal, the goal, olivetti, applied proof theory
Daten vom Verlag:
Autor/in: Dov M. Gabbay; N. Olivetti
Titel: Applied Logic Series; Goal-Directed Proof Theory
Verlag: Springer; Springer Netherland
268 Seiten
Erscheinungsjahr: 2000-08-31
Dordrecht; NL
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
X, 268 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; logic; modal logic; proof; proof theory; Logic; Compilers and Interpreters; Compiler und Übersetzer; BC
1 Introduction.- 2 Intuitionistic and Classical Logics.- 3 Intermediate Logics.- 4 Modal Logics of Strict Implication.- 5 Substructural Logics.- 6 Conclusions and Further Work.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9789401717137 Goal-Directed Proof Theory (Dov M. Gabbay/ N. Olivetti)
< zum Archiv...