2001, ISBN: 9789400703193
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the e… Meer...
booklooker.de |
2011, ISBN: 9789400703193
Springer, Gebundene Ausgabe, Auflage: 2011, 296 Seiten, Publiziert: 2011-01-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.89 kg, Verkaufsrang: 20178, Informatik, IT-Ausb… Meer...
amazon.de Brook Bookstore Verzendingskosten:Gewöhnlich versandfertig in 2 bis 3 Wochen. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00) Details... |
2011, ISBN: 9400703198
Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag 11, [PU:Springer-Verlag G… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2011, ISBN: 9400703198
[EAN: 9789400703193], Tweedehands, goed, [SC: 46.06], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books
AbeBooks.co.uk Books Unplugged, Amherst, NY, U.S.A. [74050220] [Beoordeling: 5 (van 5)] NOT NEW BOOK. Verzendingskosten: EUR 46.06 Details... |
2011, ISBN: 9789400703193
Hard cover, New., 290 p. Trends in Logic , 34. VI, 290 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]
alibris.co.uk |
2001, ISBN: 9789400703193
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the e… Meer...
Baaz, Matthias, Leitsch, Alexander:
Methods of Cut-Elimination (Trends in Logic, 34, Band 34) - gebonden uitgave, pocketboek2011, ISBN: 9789400703193
Springer, Gebundene Ausgabe, Auflage: 2011, 296 Seiten, Publiziert: 2011-01-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.89 kg, Verkaufsrang: 20178, Informatik, IT-Ausb… Meer...
2011
ISBN: 9400703198
Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag 11, [PU:Springer-Verlag G… Meer...
2011, ISBN: 9400703198
[EAN: 9789400703193], Tweedehands, goed, [SC: 46.06], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books
2011, ISBN: 9789400703193
Hard cover, New., 290 p. Trends in Logic , 34. VI, 290 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Methods of Cut-Elimination (Trends in Logic, 34, Band 34)
EAN (ISBN-13): 9789400703193
ISBN (ISBN-10): 9400703198
Gebonden uitgave
Verschijningsjaar: 2011
Uitgever: Springer
287 Bladzijden
Gewicht: 0,578 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2008-09-25T21:54:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-07-07T10:17:27+02:00 (Amsterdam)
ISBN/EAN: 9789400703193
ISBN - alternatieve schrijfwijzen:
94-007-0319-8, 978-94-007-0319-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: leitsch, matthias willing, alexander, baaz
Titel van het boek: cut, methods logic, oetker backbuch
Gegevens van de uitgever
Auteur: Matthias Baaz; Alexander Leitsch
Titel: Trends in Logic; Methods of Cut-Elimination
Uitgeverij: Springer; Springer Netherland
290 Bladzijden
Verschijningsjaar: 2011-01-17
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
VI, 290 p.
BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; CERES; Goedel logic; cut-elimination; proof analysis; resolution; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Mathematische Grundlagen; Theoretische Informatik; BC
This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.First book on methods of cut-elimination Combines techniques and results from proof theory and automated deduction Thereby the book provides a completely new view on proof theoretic methods and their applications This specific feature makes the book interesting for researchers and graduate students in proof theory and computational logic
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789400703216 Methods of Cut-Elimination (Matthias Baaz, Alexander Leitsch)
< naar Archief...