Normal view
MARC view
Loveland, D. W. (Personal Name)
Machine generated authority record.
Work cat.: (OSt)153982: Conference on Automated Deduction 6th, New York, USA, 198280 138940, Papers, 1982