| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| S. Bosch | Algebra | Springer Unitext | 2003 | 978-88-470-0221-0 | |
| Elaine Rich, Kevin Knight | Artificial Intelligence (Edizione 2) | McGraw Hill | 1991 | 0070522634 | |
| Stuart Russell, Peter Norvig | Artificial Intelligence -- A Modern Approach (Edizione 1) | Prentice Hall | 1995 | 0131038052 | |
| Stuart Russell, Peter Norvig | Artificial Intelligence: A Modern Approach (Edizione 2) | Prentice Hall | 2003 | 0137903952 | |
| David Poole, Alan Mackworth, Randy Goebel | Computational Intelligence -- A logical approach (Edizione 1) | Oxford University Press | 1998 | 0195102703 | |
| Stuart Russell, Peter Norvig | Intelligenza Artificiale: un approccio moderno (Edizione 1) | UTET libreria | 1998 | ||
| Chin-Liang Chang, Richard Char-Tung Lee | Symbolic Logic and Mechanical Theorem Proving (Edizione 1) | Academic Press | 1973 | 0121703509 |
© 2025 | Verona University
