1983
Abstract AUTOMATH
Publication
Publication
Additional Metadata | |
---|---|
Centrum Voor Wiskunde en Informatica | |
MC Tracts | |
Rezus, A. (1983). Abstract AUTOMATH. MC Tracts. Centrum Voor Wiskunde en Informatica. |
1983
Additional Metadata | |
---|---|
Centrum Voor Wiskunde en Informatica | |
MC Tracts | |
Rezus, A. (1983). Abstract AUTOMATH. MC Tracts. Centrum Voor Wiskunde en Informatica. |