Clausal form logic an introduction to the logic of computer reasoning by Richards, Tom

Artificial intelligence and Turbo C by Chabris, Christopher F.

The emperor's new mind concerning computers, minds, and the laws of physics by Penrose, Roger

Principles of artificial intelligence and expert systems development by Rolston, David W.

Artificial intelligence through Prolog by Rowe, Neil C.

A robot ping-pong player experiment in real-time intelligent control by Andersson, Russell L.

Click here to access thru EZproxy
Click here to access

Computational philosophy of science by Thagard, Paul

Click here to access thru EZproxy
Click here to access

Mathematical methods for artificial intelligence and autonomous systems by Dougherty, Edward R.

An artificial intelligence approach to understanding natural language by Pitrat, J.

Mathematical methods for artificial intelligence and autonomous systems by Dougherty, Edward R.