語系
Schwichtenberg, Helmut, (1942-)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-)
(書目-電子資源)
Proof technology and computation
by:
Schwichtenberg, Helmut, (1942-); Spies, Katharina.; NATO Advanced Study Institute on Proof Technology and Computation ((2003 :)
(書目-語言資料,印刷品)