Most Popular Books
- The Computer Modelling of Mathematical Reasoning
- Eco-Logic: Logic-Based Approaches to Ecological Modeling (Logic Programming)
- Artificial Intelligence Techniques: A Comprehensive Catalogue
- Catalogue of Artificial Intelligence Tools
- Rippling: Meta-Level Guidance for Mathematical Reasoning (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)
