
2010, ISBN: 9048155266
[EAN: 9789048155262], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deducti… Meer...
AbeBooks.de The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2010, ISBN: 9048155266
[EAN: 9789048155262], Neubuch, [PU: Springer Netherlands], AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, Druck auf Anfrage Neuware - Goal Directed Proof Theory presents a uniform an… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 10.42 Details... |

2010, ISBN: 9789048155262
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Goal Directed Proof Theory pres… Meer...
booklooker.de |
2010, ISBN: 9048155266
Softcover reprint of the original 1st ed. 2000 Kartoniert / Broschiert Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, automateddeduction; logic; modallogic; ProofT… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9789048155262
Buch, Softcover, Softcover reprint of the original 1st ed. 2000, [PU: Springer], Springer, 2010
lehmanns.de Verzendingskosten:Lieferbar. (EUR 0.00) Details... |

2010, ISBN: 9048155266
[EAN: 9789048155262], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deducti… Meer...

2010, ISBN: 9048155266
[EAN: 9789048155262], Neubuch, [PU: Springer Netherlands], AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, Druck auf Anfrage Neuware - Goal Directed Proof Theory presents a uniform an… Meer...
2010
ISBN: 9789048155262
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Goal Directed Proof Theory pres… Meer...
2010, ISBN: 9048155266
Softcover reprint of the original 1st ed. 2000 Kartoniert / Broschiert Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, automateddeduction; logic; modallogic; ProofT… Meer...
2010, ISBN: 9789048155262
Buch, Softcover, Softcover reprint of the original 1st ed. 2000, [PU: Springer], Springer, 2010
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Goal-Directed Proof Theory
EAN (ISBN-13): 9789048155262
ISBN (ISBN-10): 9048155266
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
280 Bladzijden
Gewicht: 0,427 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-07-03T18:36:32+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-01-24T20:53:54+01:00 (Amsterdam)
ISBN/EAN: 9789048155262
ISBN - alternatieve schrijfwijzen:
90-481-5526-6, 978-90-481-5526-2
Gegevens van de uitgever
Auteur: Dov M. Gabbay; N. Olivetti
Titel: Applied Logic Series; Goal-Directed Proof Theory
Uitgeverij: Springer; Springer Netherland
268 Bladzijden
Verschijningsjaar: 2010-12-04
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
149,79 € (DE)
153,99 € (AT)
165,50 CHF (CH)
POD
X, 268 p.
BC; Previously published in hardcover; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; logic; modal logic; proof; proof theory; B; Logic; Programming Languages, Compilers, Interpreters; Logic; Compilers and Interpreters; Mathematics and Statistics; Compiler und Übersetzer; BB
1. Introduction. 2. Intuitionistic and Classical Logics. 3. Intermediate Logics. 4. Modal Logics of Strict Implication. 5. Substructural Logics. 6. Conclusions and Further Work. Bibliography. Index.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780792364733 Goal-Directed Proof Theory (Dov M. Gabbay/ N. Olivetti)
< naar Archief...