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 m. fl.

Inbunden, Engelska, 2021

2 549 kr

Skickas inom 3-6 vardagar

Mathematics For Computation (M4c)

AvBENINI MARCO,Benini Marco m. fl.

Inbunden, Engelska, 2023

2 549 kr

Skickas inom 3-6 vardagar

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

AvMAINZER KLAUS,Mainzer Klaus m. fl.

Inbunden, Engelska, 2018

1 889 kr

Skickas inom 3-6 vardagar