Mainzer Klaus - Böcker

Visar alla böcker från författaren Mainzer Klaus.

2 produkter

Kategorier

2 produkter

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

AvMainzer Klaus,Klaus Mainzer,Helmut Schwichtenberg,Peter Michael Schuster

Inbunden, Engelska, 2021

2 509 kr

Skickas inom 3-6 vardagar

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

AvMainzer Klaus,Klaus Mainzer,Peter Michael Schuster,Helmut Schwichtenberg,Germany) Mainzer, Klaus (Technical University Of Munich,Italy) Schuster, Peter Michael (Univ Degli Studi Di Verona,Germany) Schwichtenberg, Helmut (Ludwig Maximilians Univ Munchen

Inbunden, Engelska, 2018

1 909 kr

Skickas inom 3-6 vardagar