| SCHEDA | ||||||
| titolo | Fondamenti di programmazione logica (tit. orig.: "Foundations of Logic Programming") |
|
||||
| sottotitolo | I suoi rapporti con la logica e la matematica | |||||
| autore | John Wylie Lloyd | |||||
| contributi | traduzione di Mauro Boscarol; copertina di Alessandra Pelli, Elda Danese; redazione di Sergio Fardin | |||||
| edito da | Franco Muzzio Editore [link] | ISBN | 8870213833 | prima edizione | 1986 | |
| collana | IAR Intelligenza Artificiale e Robotica (diretta da Virginio B. Sala) 6 | genere | saggio | |||
| caratteristiche fisiche | ||||||
| contenuto | Questo è il primo libro che fornisce una rassegna dei fondamenti matematici della programmazione logica. L'obiettivo dell'autore è raccogliere, in modo uniforme e generale, i risultati teorici fondamentali fino ad oggi disponibili solo in articoli di ricerca su riviste scientifiche. Il libro è autosufficiente, e i soli prerequisiti necessari sono una qualche familiarità con il Prolog e la conoscenza della matematica dei primi anni d'università ... | |||||
Scrivi un commento al libro |
Aggiungi un argomento |
53