タイトル |
著作者等 |
出版元 |
刊行年月 |
Proof and computation II : from proof theory and univalent mathematics to program extraction and verification
|
editors Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg |
World Scientific
|
c2022 |
Proofs and computations
|
Helmut Schwichtenberg, Stanley S. Wainer |
Cambridge University Press
|
2012 |
Proof and system-reliability
|
edited by Helmut Schwichtenberg and Ralf Steinbrüggen |
Kluwer Academic
|
c2002 |
Basic proof theory
|
A.S. Troelstra, H. Schwichtenberg |
Cambridge University Press
|
2000 |
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
|
Peter G. Clote, Helmut Schwichtenberg (eds.) |
Springer
|
c2000 |
Computational logic
|
edited by Ulrich Berger, Helmut Schwichtenberg |
Springer
|
c1999 |
Logic of computation
|
edited by Helmut Schwichtenberg |
Springer
|
c1997 |
Basic proof theory
|
A.S. Troelstra, H. Schwichtenberg |
Cambridge University Press
|
1996 |
Proof and computation
|
edited by Helmut Schwichtenberg |
Springer-Verlag
|
1995 |