2010, ISBN: 9789048155262
[ED: Softcover], [PU: Springer / Springer Netherlands], Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevan… Meer...
booklooker.de |
2010, ISBN: 9048155266
[EAN: 9789048155262], Neubuch, [SC: 0.0], [PU: Springer Netherlands], AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, Druck auf Anfrage Neuware - Printed after ordering - Goal Directe… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) 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: 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: 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: 9789048155262
[ED: Softcover], [PU: Springer / Springer Netherlands], Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevan… Meer...
2010, ISBN: 9048155266
[EAN: 9789048155262], Neubuch, [SC: 0.0], [PU: Springer Netherlands], AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, Druck auf Anfrage Neuware - Printed after ordering - Goal Directe… 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: 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: 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...
Bibliografische gegevens van het best passende boek
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 Netherlands
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-11-29T17:05:22+01:00 (Amsterdam)
ISBN/EAN: 9789048155262
ISBN - alternatieve schrijfwijzen:
90-481-5526-6, 978-90-481-5526-2
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: olivetti, dov gabbay
Titel van het boek: logic, olivetti, applied proof theory
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
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
X, 268 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; logic; modal logic; proof; proof theory; Logic; Compilers and Interpreters; Compiler und Übersetzer; BB; EA
1 Introduction.- 2 Intuitionistic and Classical Logics.- 3 Intermediate Logics.- 4 Modal Logics of Strict Implication.- 5 Substructural Logics.- 6 Conclusions and Further Work.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780792364733 Goal-Directed Proof Theory Dov M. Gabbay Author (Gabbay, Dov M. Olivetti, N. Olivetti, Nicola)
< naar Archief...