著者典拠情報

著者標目形：
Nipkow, Tobias, 1958-
属性：
Personal
日付：
1958-
注記：
Types for proofs and programs, c1994: CIP t.p. (Tobias Nipkow) t.p. verso, etc. (Inst. für Inform., Technische Univ. München; b. 03-08-58)
SRC:Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)(Springer-Verlag, c1993)
著者典拠ID：
DA08285538


1.

図書
図書
1. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2083 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Tobias Nipkow (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1379
所蔵情報: 図書館
3.

図書
図書
3. Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)
Henk Barendregt, Tobias Nipkow, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 806
所蔵情報: 図書館