Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
5 Products
5 Products Page
of 1
Towards Mechanized Mathematical Assistants
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Symbolic Computation and Automated Reasoning
Hardback
 
Price: £94.99
Usually dispatched within 3 weeks
Computational Logic — CL 2000
 
Price: £44.99
This product is currently unavailable
Intelligent Computer Mathematics
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Intelligent Computer Mathematics
Paperback
 
Price: £64.99
Usually dispatched within 3 weeks