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… Meer...
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., Springer<
Springer.com
Nr. 978-94-017-1713-7. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Goal-Directed Proof Theory ab 138.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie, Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissensch… Meer...
Goal-Directed Proof Theory ab 138.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie, Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaft > Philosophie, Springer Netherlands<
Hugendubel.de
Verzendingskosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
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… Meer...
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., Springer<
Nr. 978-94-017-1713-7. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00)
Goal-Directed Proof Theory ab 138.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie, Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissensch… Meer...
Goal-Directed Proof Theory ab 138.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie, Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaft > Philosophie, Springer Netherlands<
Verzendingskosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.
Bibliografische gegevens van het best passende boek
Boek bevindt zich in het datenbestand sinds 2015-12-04T16:53:44+01:00 (Amsterdam) Detailpagina laatst gewijzigd op 2023-11-29T17:05:22+01:00 (Amsterdam) ISBN/EAN: 9789401717137
ISBN - alternatieve schrijfwijzen: 978-94-017-1713-7 alternatieve schrijfwijzen en verwante zoekwoorden: Auteur van het boek: olivetti, dov gabbay, olivet Titel van het boek: proof theory, olivetti
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: 2013-04-17 Dordrecht; NL Taal: Engels 96,29 € (DE) 99,00 € (AT) 118,00 CHF (CH) Available X, 268 p.