TY - BOOK AU - Dertouzos M L TI - Treshold logic : a synthesis approach U1 - 005.115 PY - 1969/// CY - Cambridge PB - M I T Press KW - Computer science KW - Logic programming ER -