著者典拠情報

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


1.

図書
図書
1. The classical decision problem (: gw)
Egon Börger, Erich Grädel, Yuri Gurevich
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Perspectives in mathematical logic
所蔵情報: 図書館, 研究室
2.

図書
図書
2. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: 図書館