Normal view
MARC view
Bibel, W., 1938- (Personal Name)
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Ìur Inf. Tech. Univ. MÌunchen, Germany; b. 10/28/38)
His Automated theorem proving, 1982: t.p. (Wolfgang Bibel)