bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 4-A (2001), n. 3 -> pp. 415-418

Referenza completa

Bruni, Renato:
Elementi di programmazione logica
Bollettino dell'Unione Matematica Italiana Serie 8 4-A (2001) —La Matematica nella Società e nella Cultura, fasc. n.3 —Fascicolo Tesi di Dottorato, p. 415-418, Unione Matematica Italiana (Italian)
pdf (225 Kb), djvu (74 Kb). | Zbl 1053.68522

Referenze Bibliografiche
[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
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 4-A (2001), n. 3 -> pp. 415-418

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali