Schwichtenberg, Helmut, (1942-)

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

Proof technology and computation by: Schwichtenberg, Helmut, (1942-); Spies, Katharina.; NATO Advanced Study Institute on Proof Technology and Computation ((2003 :) (Language materials, printed)