close
1.

図書
図書
1. 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
所蔵情報: loading…
2.

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

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

図書
図書
4. 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
所蔵情報: loading…