Normal view
MARC view
BIBEL,WOLFGANG (ED), KOWALSKI,ROBERT (ED) (Personal Name)
Machine generated authority record
Work cat.: (OSt)45427: BIBEL,WOLFGANG (ED), KOWALSKI,ROBERT (ED), 5TH CONFERENCE ON AUTOMATED DEDUCTION,FRANCE,1980, 1980