Normal view
MARC view
- Kowalski, R.
Kowalski, R. (Personal Name)
Machine generated authority record.
Work cat.: (Ge_NSL): 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 :