TY  - BOOK
AU  - MULLER,G.H (ED), OBERSCHELP,A (ED), POTTHOFF,K (ED)
TI  - ISILC LOGIC CONFERENCE: PROCEEDINGS OF INTERNATIONAL SUMMER INST,1974
SN  - NCST
U1  - 726 
PY  - 1975///
CY  - BERLIN
PB  - SV
ER  -