Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
ISBN 10: 981123647X ISBN 13: 9789811236471
Verlag: World Scientific Pub Co Inc, 2021
Neu
Hardcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9789811236471_new
Inhaltsangabe:
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Proof and Computation II: From Proof Theory ...
Verlag: World Scientific Pub Co Inc
Erscheinungsdatum: 2021
Einband: Hardcover
Zustand: New
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag:
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
Gebraucht
Hardcover
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week! Bestandsnummer des Verkäufers 3TWOWA0027C1
Gebraucht kaufen
EUR 35,30
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-259290
Beispielbild für diese ISBN
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-116654
Beispielbild für diese ISBN
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Bestandsnummer des Verkäufers SHAK259290
Neu kaufen
EUR 97,90
Versand gratis
Versand von Australien nach USA
Versand von Australien nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26384592470
Neu kaufen
EUR 118,91
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 379311497
Neu kaufen
EUR 123,16
EUR 7,43 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 18384592476
Neu kaufen
EUR 124,34
EUR 9,95 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Apr0412070083528
Neu kaufen
EUR 137,41
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive m. Bestandsnummer des Verkäufers 497474710
Neu kaufen
EUR 149,95
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 43175533-n
Neu kaufen
EUR 152,48
EUR 2,25 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar