Peter Michael Schuster - Böcker

Visar alla böcker från författaren Peter Michael Schuster.

3 produkter

Kategorier

3 produkter

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

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

Inbunden, Engelska, 2021

2 549 kr

Skickas inom 3-6 vardagar

Mathematics For Computation (M4c)

AvBenini Marco,BENINI MARCO,Marco Benini,Olaf Beyersdorff,Michael Rathjen,Peter Michael Schuster

Inbunden, Engelska, 2023

2 449 kr

Skickas inom 3-6 vardagar

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

AvMainzer Klaus,MAINZER 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 819 kr

Skickas inom 3-6 vardagar