| 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 |
|
html (it, 1.403 KB, 11/24/03)