Normal view
MARC view
6th Conference on Automated Deduction (Meeting Name)
Machine generated authority record.
Work cat.: (OSt)153982: Courant Insitute of Mathematical Sciences, New York University New York June 7-9, 1982 139234, Papers, 1982