This book introduces the reader to the basic ideas of First Order Predicate Calculus and Logic Programming.
Pettorossi, A., Proietti, M. (2005). First order predicate calculus and logic programming (Second edition). Roma : Aracne Editrice.
First order predicate calculus and logic programming (Second edition)
PETTOROSSI, ALBERTO;
2005-01-01
Abstract
This book introduces the reader to the basic ideas of First Order Predicate Calculus and Logic Programming.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
PredCalc_Log.pdf
accesso aperto
Descrizione: book
Dimensione
719.99 kB
Formato
Adobe PDF
|
719.99 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.