00457nam a2200169Ia 4500 518.5015113 P252.LL Parlamento, Franco Logic and logic programming UDINE CISM 1991 100p. "Unesco project on applied Mathematics, and Informatics in developing countries - 7A, May 6 - June 14, 1991" 0 0 0 0 GR ISI ISI 2000-09-26 0 518.5015113 P252.LL G1380 2019-02-14 00:00:00 2019-02-14 BK 19884 19884 19884