著者典拠情報

著者標目形：
Bibel, Wolfgang, 1938-
属性：
Personal
日付：
1938-
から見よ参照形：
Bibel, Wolfgang, 1938-
注記：
Conference on Automated Deduction, 5th, Les Arcs, France, 1980. 5th Conference on Aut. Ded., Les Arcs, France, 1980, c1980 (a.e.) t.p. (W. Bibel) verso of t.p., etc. (Wolfgang Bibel, Inst. für Inf. Tech. Univ. München, Germany; b. 10/28/38)
His Automated theorem proving, 1982: t.p. (Wolfgang Bibel)
著者典拠ID：
DA00432071


1.

図書
図書
1. Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 (: gw ; : us)
edited by W. Bibel and K.P. Jantke
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 215
所蔵情報: 図書館
2.

図書
図書
2. Fundamentals of artificial intelligence : an advanced course (: gw ; : us)
edited by W. Bibel and Ph. Jorrand
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 232
所蔵情報: 図書館
3.

図書
図書
3. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 (: gw ; : us)
edited by W. Bibel and R. Kowalski
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 87
所蔵情報: 図書館