著者典拠情報

著者標目形：
TACS
属性：
Meeting
場所：
Sendai
日付：
1991;1994;1997;2001
から見よ参照形：
International Conference on Theoretical Aspects of Computer Software
International Symposium on Theoretical Aspects of Computer Software
Symposium on Theoretical Aspects of Computer Software, International
TACS symposium
注記：
Theoretical aspects of computer software, 1991: CIP t.p. (TACS'91) foreword (International Conference on Theoretical Aspects of Computer Software, Sendai, Japan, on September 24-27, 1991)
EDSRC:Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds(Springer-Verlag, c1994)
EDSRC:Theoretical aspects of computer software, c2001: t.p. (4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001) Foreword (Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001); TACS symposium)
著者典拠ID：
DA05814348


1.

図書
図書
1. Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 ; proceedings
Naoki Kobayashi, Benjamin C. Pierce (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2215 . lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings
Martín Abadi, Takayasu Ito (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1281
所蔵情報: 図書館
3.

図書
図書
3. Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings (: gw ; : us)
Masami Hagiya, John C. Mitchell, eds
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 789
所蔵情報: 図書館
4.

図書
図書
4. Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings (: Berlin ; : New York)
T. Ito, A.R. Meyer, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 526
所蔵情報: 図書館