Normal view
MARC view
Conference on Automated Deduction (5 : 08-07-1980 - 11-07-1980 : Les Arcs, France) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): 5th Conference on automated deduction :, ©1980.