Normal view
MARC view
Shostak, Robert, 1931- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Automated Deduction (7th : 1984 : Napa, Calif.) 34555, 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 :, 1984.