00359nam a2200121Ia 4500082002500000100002300025245003400048260002200082300001000104500011300114500000500227700000500232 a518.5015113bP252.LL aParlamento, Franco aLogic and logic programmingb aUDINEbCISMc1991 a100p. a"Unesco project on applied Mathematics, and Informatics in developing countries - 7A, May 6 - June 14, 1991" a a