Schwichtenberg, Helmut, (1942-)

Overview

Works:	45 works in 1 publications in 1 languages

Titles

Proof technology and computation by: (1998 :); Schwichtenberg, Helmut, (1942-); Spies, Katharina. (Electronic resources)

Proof and computation IIfrom proof theory and univalent mathematics to program extraction and verification / by: Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-) (Electronic resources)

Subjects