La Deduzione Automatica (1994)
by
Fausto Giunchiglia
,
Paolo Traverso
,
Luciano Serafini
BibTeX
@MISC{Giunchiglia94ladeduzione,
author = {Fausto Giunchiglia and Paolo Traverso and Luciano Serafini},
title = {La Deduzione Automatica},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Scopo di questo articolo e` dare una panoramica introduttiva alla deduzione automatica, mettendo in evidenza obiettivi, differenze e similitudini di alcuni fra i piu` importanti approcci al problema.
