Elementi di programmazione logica
Bollettino dell'Unione Matematica Italiana (2001)
- Volume: 4-A, Issue: 3, page 415-418
- ISSN: 0392-4041
Access Full Article
top
Abstract
topHow to cite
topBruni, Renato. "Elementi di programmazione logica." Bollettino dell'Unione Matematica Italiana 4-A.3 (2001): 415-418. <http://eudml.org/doc/260842>.
@article{Bruni2001,
abstract = {},
author = {Bruni, Renato},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {12},
number = {3},
pages = {415-418},
publisher = {Unione Matematica Italiana},
title = {Elementi di programmazione logica},
url = {http://eudml.org/doc/260842},
volume = {4-A},
year = {2001},
}
TY - JOUR
AU - Bruni, Renato
TI - Elementi di programmazione logica
JO - Bollettino dell'Unione Matematica Italiana
DA - 2001/12//
PB - Unione Matematica Italiana
VL - 4-A
IS - 3
SP - 415
EP - 418
AB -
LA - ita
UR - http://eudml.org/doc/260842
ER -
References
top- 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, Springer1894 (2000), 500-505. Zbl1044.68743
- FELLEGI, P. and HOLT, D., A Systematic Approach to Automatic Edit and Imputation, Journal of the American Statistical Association, 71 (1976), 17-35.
- LOVELAND, D. W., Automated Theorem Proving: a Logical Basis, North Holland (1978). Zbl0364.68082MR475016
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.