Schwichtenberg, Helmut, (1942-)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Proof and computation II = from proof theory and univalent mathematics to program extraction and verification / by: Schwichtenberg, Helmut, (1942-); Mainzer, Klaus.; Schuster, Peter, (1966-) (Language materials, printed)

Proof technology and computation by: Schwichtenberg, Helmut, (1942-); Workshop on the Preservation of Stability under Discretization ((2001 :); Spies, Katharina. (Language materials, printed)

Subjects

Automatic theorem proving Mathematics Computer programming Computer software