Helmut Schwichtenberg - Böcker
Proofs and Computations
Av Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer, Helmut Schwichtenberg, Stanley S. Wainer
Inbunden, Engelska, 2011
1 299 kr
Handbook of Constructive Mathematics
Av Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
Inbunden, Engelska, 2023
3 049 kr
Proof and System-Reliability
Av Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen, Ralf Steinbrüggen
Inbunden, Engelska, 2002
1 339 kr
Häftad, Engelska, 2002
719 kr
Inbunden, Engelska, 2006
1 479 kr
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Inbunden, Engelska, 1993
2 109 kr
Inbunden, Engelska, 1997
1 169 kr
Inbunden, Engelska, 1999
2 179 kr
Computer Science Logic
Häftad, Engelska, 2000
1 409 kr
Häftad, Engelska, 2014
2 109 kr
Häftad, Engelska, 2012
2 179 kr
Häftad, Engelska, 2012
739 kr
Häftad, Engelska, 2011
1 449 kr
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Av MAINZER KLAUS, Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster
Inbunden, Engelska, 2021
2 609 kr
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Av MAINZER 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 929 kr