| Author | Title | Publisher | Year | 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 | |
| Rolf Socher-Ambrosius, Patricia Johann | Deduction Systems (Edizione 1) | Springer Verlag | 1997 | 0387948473 | |
| Raymond M. Smullyan | First-order logic | Dover Publications | 1995 | 0486683702 | |
| Allan Ramsay | Formal Methods in Artificial Intelligence (Edizione 1) | Cambridge University Press | 1989 | 0521424216 | |
| Chin-Liang Chang, Richard Char-Tung Lee | Symbolic Logic and Mechanical Theorem Proving (Edizione 1) | Academic Press | 1973 | 0121703509 | |
| Alexander Leitsch | The Resolution Calculus (Edizione 1) | Springer | 1997 | 3540618821 |
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>
