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) |
| Dates of Birth and Death | 1938- |
| から見よ参照 | Bibel, Wolfgang, 1938- |
| コード類 | 典拠ID=AU20064206 NCID=DA00432071 |
| 1 | Fundamentals of artificial intelligence : an advanced course / edited by W. Bibel and Ph. Jorrand : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986 |