Elementi di programmazione logica
Bruni, Renato
Bollettino dell'Unione Matematica Italiana, Tome 4-A (2001), p. 415-418 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Publié le : 2001-12-01
@article{BUMI_2001_8_4A_3_415_0,
     author = {Renato Bruni},
     title = {Elementi di programmazione logica},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {4-A},
     year = {2001},
     pages = {415-418},
     zbl = {1053.68522},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_2001_8_4A_3_415_0}
}

Bruni, Renato. Elementi di programmazione logica. Bollettino dell'Unione Matematica Italiana, Tome 4-A (2001) pp. 415-418. http://gdmltest.u-ga.fr/item/BUMI_2001_8_4A_3_415_0/

[1] Bruni, R. and Sassano, A., Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances, Proc. of 6th Internat. Conf. on Principles and Practice of Constraint Programming, LNCS, Springer 1894 (2000), 500-505. | Zbl 1044.68743

[2] Fellegi, P. and Holt, D., A Systematic Approach to Automatic Edit and Imputation, Journal of the American Statistical Association, 71 (1976), 17-35.

[3] Loveland, D. W., Automated Theorem Proving: a Logical Basis, North Holland (1978). | MR 475016 | Zbl 0364.68082