TY - BOOK AU - Samson E W AU - Mills B E TI - Cricuit minimization: algebra and algorithms for new boolean canonical expressions U1 - 511.324 PY - 1954/// CY - Mass PB - Air Force Cambridge Research Centre KW - Algorithms KW - Boolean algebra ER -