TY - BOOK AU - Parlamento, Franco AU - TI - Logic and logic programming U1 - 518.5015113 PY - 1991/// CY - UDINE PB - CISM N1 - "Unesco project on applied Mathematics, and Informatics in developing countries - 7A, May 6 - June 14, 1991" ER -