Helmut Schwichtenberg – författare
Visar alla böcker från författaren Helmut Schwichtenberg.
14 produkter
Proofs and Computations
Av Helmut Schwichtenberg, Stanley S. Wainer
Inbunden, 2011
1399 kr
Lägg i varukorg
Handbook of Constructive Mathematics
Av Douglas Bridges, Hajime Ishihara m. fl.
Inbunden, 2023
3369 kr
Lägg i varukorg
Proof and System-Reliability
Av Ralf Steinbruggen, Helmut Schwichtenberg m. fl.
Inbunden, 2002
1329 kr
Lägg i varukorg
Proof and System-Reliability
Av Helmut Schwichtenberg, Ralf Steinbrüggen
Häftad, 2002
709 kr
Lägg i varukorg
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer m. fl.
Inbunden, 1993
2109 kr
Lägg i varukorg
Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Av Peter G. Clote, Helmut Schwichtenberg
Häftad, 2000
1449 kr
Lägg i varukorg
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer m. fl.
Häftad, 2014
2109 kr
Lägg i varukorg
PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION
Av Mainzer Klaus, Klaus Mainzer m. fl.
Inbunden, 2021
2649 kr
Lägg i varukorg
PROOF AND COMPUTATION: DIGITIZATION IN MATHEMATICS, COMPUTER SCIENCE, AND PHILOSOPHY
Av Mainzer Klaus, Klaus Mainzer m. fl.
Inbunden, 2018
2019 kr
Lägg i varukorg