TY  - JOUR
AU  - Bruni, Renato
TI  - Elementi di programmazione logica
JO  - Bollettino della Unione matematica italiana
PY  - 2001
SP  - 415
EP  - 418
VL  - 4A
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2001_8_4A_3_a9/
LA  - it
ID  - BUMI_2001_8_4A_3_a9
ER  -