著者典拠情報

著者標目形：
Schwichtenberg, Helmut, 1942-
属性：
Personal
日付：
1942-
注記：
Logic and algebra of specification, c1993: CIP t.p. (Helmut Schwichtenberg, Math. Inst., Ludwig-Maximillans-Univ. München, Ger.) data sheet (b. 04/05/42)
著者典拠ID：
DA07660631


1.

図書
図書
1. Proof and system-reliability
edited by Helmut Schwichtenberg and Ralf Steinbrüggen
出版情報: Dordrecht : Kluwer Academic, c2002
シリーズ名: NATO science series ; II . Mathematics, physics and chemistry ; v. 62
所蔵情報: 図書館
2.

図書
図書
2. 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.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1862
所蔵情報: 図書館
3.

図書
図書
3. Computational logic
edited by Ulrich Berger, Helmut Schwichtenberg
出版情報: Berlin ; Tokyo : Springer, 1999
シリーズ名: NATO ASI series ; Series F, Computer and systems sciences ; v. 165
所蔵情報: 図書館
4.

図書
図書
4. Logic of computation
edited by Helmut Schwichtenberg
出版情報: New York : Springer, c1997
シリーズ名: NATO ASI series ; Series F, Computer and systems sciences ; v. 157
所蔵情報: 図書館
5.

図書
図書
5. Basic proof theory (: hardback)
A.S. Troelstra, H. Schwichtenberg
出版情報: Cambridge ; New York : Cambridge University Press, 1996
シリーズ名: Cambridge tracts in theoretical computer science ; 43
所蔵情報: 図書館
6.

図書
図書
6. Proof and computation
edited by Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, 1995
シリーズ名: NATO ASI series ; Ser. F . Computer and systems sciences ; v. 139
所蔵情報: 図書館
7.

図書
図書
7. Logic and algebra of specification (: us ; : gw)
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 94
所蔵情報: 図書館