Normal view
MARC view
Bibel, W., 1938- (Personal Name)
Used for/see from:
- 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. fur̈ Inf. Tech. Univ. Mun̈chen, Germany; b. 10/28/38)
His Automated theorem proving, 1982: t.p. (Wolfgang Bibel)