Schwichtenberg, Helmut   (1942-)

この人物の情報

人物別名 Helmut Schwichtenberg
生年 1942年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
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
Logic and algebra of specification edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg Springer-Verlag
c1993
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想