著者典拠情報

標目形:
Gurevich, Yuri
属性:
Personal
から見よ参照形:
Gurevich, Y.
注記:
His Computer science logic : 7th workshop, CSL '93 (Springer-Verlag, c1994)
EECS department, university of Michigan
著者典拠ID:
DA08882311


1.

図書

図書
Yuri Gurevich ... [et al.] (eds.)
出版情報: Berlin : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1912
所蔵情報: loading…
2.

図書

図書
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: loading…