NCID | DA00432071 |
名称(HDNG) | Bibel, Wolfgang, 1938- |
生没年(DATE) | 1938- |
から見よ(SF) | Bibel, Wolfgang, 1938- |
注記(NOTE) | 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) |
LCAID | 80082908 |