Peter Michael Schuster – författare

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,Klaus Mainzerm. fl.

Inbunden, Engelska, 2021

2 569 kr

Skickas inom 3-6 vardagar

Mathematics For Computation (M4c)

AvBenini Marco,Marco Beninim. fl.

Inbunden, Engelska, 2023

2 569 kr

Skickas inom 3-6 vardagar

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

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2018

1 959 kr

Skickas inom 3-6 vardagar