Mainzer Klaus – författare

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

2 produkter

Kategorier

2 produkter

Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster - Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification, Inbunden

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

Mainzer Klaus, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy, Inbunden

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