- 0 resultaten
laagste prijs: € 111,99, hoogste prijs: € 166,92, gemiddelde prijs: € 145,06
1
Goal-Directed Proof Theory - Gabbay, Dov M. Olivetti, N.
bestellen
bij booklooker.de
€ 111,99
bestellen
Gabbay, Dov M. Olivetti, N.:

Goal-Directed Proof Theory - pocketboek

2010, ISBN: 9789048155262

[ED: Softcover], [PU: Springer Netherlands], Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which… Meer...

Verzendingskosten:Zzgl. Versandkosten., exclusief verzendingskosten buecher.de GmbH & Co. KG
2
Goal-Directed Proof Theory
bestellen
bij Indigo.ca
C$ 241,50
(ongeveer € 166,92)
bestellen
Goal-Directed Proof Theory - nieuw boek

ISBN: 9789048155262

Goal Directed Proof Theorypresents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledge… Meer...

new in stock. Verzendingskosten:plus verzendkosten., exclusief verzendingskosten
3
Goal-Directed Proof Theory - Dov M. Gabbay
bestellen
bij BookDepository.com
€ 146,42
verzending: € 0,00
bestellen
Dov M. Gabbay:
Goal-Directed Proof Theory - pocketboek

ISBN: 9789048155262

Paperback, [PU: Springer], Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer sci… Meer...

  - Verzendingskosten:Versandkostenfrei. (EUR 0.00)
4
Goal-Directed Proof Theory - Dov M. Gabbay/ N. Olivetti
bestellen
bij Hugendubel.de
€ 149,99
verzending: € 7,50
bestellen
Dov M. Gabbay/ N. Olivetti:
Goal-Directed Proof Theory - pocketboek

2000, ISBN: 9048155266

Goal-Directed Proof Theory ab 149.99 € als Taschenbuch: Softcover reprint of the original 1st ed. 2000. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > Bücher, Springer Nethe… Meer...

Nr. 13446949. Verzendingskosten:, , spese di spedizione aggiuntive. (EUR 7.50)
5
Goal-Directed Proof Theory
bestellen
bij eBook.de
€ 149,99
bestellen
Goal-Directed Proof Theory - pocketboek

2000, ISBN: 9048155266

Goal-Directed Proof Theory ab 149.99 EURO Softcover reprint of the original 1st ed. 2000 Medien > Bücher

Nr. 13446949. Verzendingskosten:, , spese di spedizione aggiuntive., exclusief verzendingskosten

Bijzonderheden over het boek
Goal-Directed Proof Theory

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. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.

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-Verlag GmbH
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 2020-12-02T21:24:38+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,438 kg
Taal: Engels
149,79 € (DE)
153,99 € (AT)
165,50 CHF (CH)
POD

BC; Previously published in hardcover; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; logic; modal logic; proof; proof theory; C; Logic; Programming Languages, Compilers, Interpreters; Logic; Compilers and Interpreters; Mathematics and Statistics; Programmier- und Skriptsprachen, allgemein; 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:
9789401717137 Goal-Directed Proof Theory (Dov M. Gabbay; N. Olivetti)


< naar Archief...