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

Av MAINZER KLAUS, Mainzer Klaus m. fl

Inbunden, Engelska, 2021

2 629 kr

Skickas inom 5-8 vardagar

Mathematics For Computation (M4c)

Av BENINI MARCO, Benini Marco m. fl

Inbunden, Engelska, 2023

2 629 kr

Skickas inom 5-8 vardagar

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

Av MAINZER KLAUS, Mainzer Klaus m. fl

Inbunden, Engelska, 2018

1 949 kr

Skickas inom 5-8 vardagar