TY - DATA AU - A. Thayse TI - Boolean Calculus of Differences SN - 9783540384212 PY - 1981/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-10286-8 ER -