Normal view
MARC view
Bibel, W., 1938- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): 5th Conference on automated deduction :, ©1980.