Introduction to Artificial Intelligence Techniques (Paperback) ISBN-13: 9780961474201 ISBN-10: 0961474203 Genre: Computers & Technology ? Symbolic Logic and Mechanical Theorem Proving [Computer Science Classics] (Hardcover) ISBN-13: 9780121703509 ISBN-10: 0121703509 Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores ? |