著者典拠情報

著者標目形：
Börger, Egon, 1946-
属性：
Personal
日付：
1946-
から見よ参照形：
Börger, E., 1946-
注記：
Sym. "Rekursive Kombinatorik" (1983 : Inst. für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen). Logic and machines, 1984: CIP t.p. (E. Börger) data sheet (Egon Börger, b. 5/13/46)
著者典拠ID：
DA01377208


1.

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

図書
図書
2. Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (: gw ; : us)
E. Börger ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 702
所蔵情報: 図書館
3.

図書
図書
3. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 626
所蔵情報: 図書館
4.

図書
図書
4. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: Berlin ; : New York)
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 533
所蔵情報: 図書館
5.

図書
図書
5. CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: 図書館
6.

図書
図書
6. CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: 図書館
7.

図書
図書
7. CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 329
所蔵情報: 図書館
8.

図書
図書
8. Computation theory and logic (: gw ; : us)
Egon Börger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 270
所蔵情報: 図書館, 研究室
9.

図書
図書
9. Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen (: gw ; : us)
edited by E. Börger, G. Hasenjaeger, and D. Rödding
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 171
所蔵情報: 図書館