AI & Logic Programming :-
AI & Logic Programming :-
Programming in Martin-Lof's Type Theory: An Introduction (by Bengt Nordstrom, Kent Petersson, Jan M. Smith) [Link]
Logic for Computer Science: Foundations of Automatic Theorem Proving (Jean Gallier) [Link]
Implementing Mathematics with The Nuprl Proof System [Link]
C++ Neural Networks and Fuzzy Logic (V.B. Rao) [Link]
Machine Learning, Neural and Statistical Classification (D. Michie, D. Spiegelhalter, C. Taylor) [Link]
Introduction to Machine Learning (N. Nilsson) [Link]
Artificial Intelligence I (W. Jones) [Link]
Artificial Intelligence I (Patrick Winston) [Link]
Databases and Artificial Intelligence (A. Cawsey) [Link]
Practical Artificial Intelligence Programming in Java (Mark Watson) [Link]
Logic and Proof [Link]
Neural Nets: Dr K Gurney [Link]
Building Expert Systems In Prolog (Amzi) [Link]
Machine Learning (R. Rivest and M. Singh) [Link]
Artificial Intelligence II (David Marshall) [Link]
Cellular Automata and Complexity [Link]
Proofs and Types (Jean-Yves Girard) [Link]