Geodesic
Elementi di programmazione logica
Bollettino della Unione matematica italiana, Série 8, 4A (2001) no. 3, pp. 415-418.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_2001_8_4A_3_a9,
     author = {Bruni, Renato},
     title = {Elementi di programmazione logica},
     journal = {Bollettino della Unione matematica italiana},
     pages = {415--418},
     publisher = {mathdoc},
     volume = {Ser. 8, 4A},
     number = {3},
     year = {2001},
     zbl = {1053.68522},
     mrnumber = {475016},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2001_8_4A_3_a9/}
}
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  - 
%0 Journal Article
%A Bruni, Renato
%T Elementi di programmazione logica
%J Bollettino della Unione matematica italiana
%D 2001
%P 415-418
%V 4A
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2001_8_4A_3_a9/
%G it
%F BUMI_2001_8_4A_3_a9
Bruni, Renato. Elementi di programmazione logica. Bollettino della Unione matematica italiana, Série 8, 4A (2001) no. 3, pp. 415-418. http://geodesic.mathdoc.fr/item/BUMI_2001_8_4A_3_a9/

[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

[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 | Zbl