Free Computer Books, Tutorials & Lecture Notes
AI & Logic Programming
Select a Book Catagory -->
Book Home
Languages
Java and J2EE
Unix, Linux
Computer Science
Special Topics
Databases
Networking
Web/Internet
Microsoft Windows
Miscellaneous
Other IT Book Sites
Pattern in the Title:
Prolog Books
Lisp Books
Programming in Martin-Löf's Type Theory: An Introduction (by Bengt Nordström, Kent Petersson, Jan M. Smith)
Logic for Computer Science: Foundations of Automatic Theorem Proving (Jean Gallier)
Implementing Mathematics with The Nuprl Proof System
Neural Nets: Dr K Gurney
C++ Neural Networks and Fuzzy Logic (V.B. Rao)
Building Expert Systems In Prolog (Amzi)
Machine Learning, Neural and Statistical Classification (D. Michie, D. Spiegelhalter, C. Taylor)
Introduction to Machine Learning (N. Nilsson)
Machine Learning (R. Rivest and M. Singh)
Artificial Intelligence I (W. Jones)
Artificial Intelligence II (David Marshall)
Artificial Intelligence I (Patrick Winston)
Databases and Artificial Intelligence (A. Cawsey)
Cellular Automata and Complexity
Practical Artificial Intelligence Programming in Java (Mark Watson)
Artificial Intelligence and Molecular Biology (Edited by L. Hunter), 500 pp
Rule-Based Expert Systems (Edited by B.G. Buchanan, et al), 754 pp
Intelligence and Multimodality in Multimedia Interfaces: Research & Applications (Edited by John Lee)
Artificial Intelligence and Responsive Optimization, 2nd edition, 2003 (M. Khosnevisan, et al)
Language, Proof and Logic (J. Barwise, J. Etchemendy)
Logic and Proof
Proofs and Types (Jean-Yves Girard)
About Books
FAQ
Free
IT Magazines
Java Resource
IT Jobs
Support this site, buy deep discounted Computer Books
here
!