Limit Search Results
Author
Subject
289 Results Found Subscribe to search results
000000000000MAIN
Print
4. 
Cover image for Commonsense reasoning : an event calculus based approach
5. 
Cover image for Infinity and truth
6. 
Cover image for Alan Turing : his work and impact
8. 
Cover image for Word and object
9. 
Cover image for What logics mean : from proof theory to model-theoretic semantics
10. 
Cover image for Qualitative spatial and temporal reasoning
11. 
Cover image for Introduction to mathematical logic
12. 
Cover image for Granularity analysis for tutoring mathematical proofs