TY - BOOK AU - Bakker J W ED - CWI Symposium on Mathematics and Computer Science( 1983 ) ED - CWI Symposium on Mathematics and Computer Science TI - Mathematics and computer science : proceedings U1 - 4 PY - 1986/// CY - Amsterdam PB - North Holland KW - Computer science KW - Mathematics ER -