Schwichtenberg, Helmut, (1942-)

Proof technology and computation[electronic resource] / by: Clark Conference ((2005 :); Schwichtenberg, Helmut, (1942-); Spies, Katharina. (书目-语言数据,印刷品)

Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification / by: Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-) (书目-电子资源)