Ebook: The Computer Modelling of Mathematical Reasoning
Author: Alan Bundy
- Tags: Mathematics -- Data processing, Logic Symbolic and mathematical, Automatic theorem proving
- Year: 1986
- Publisher: Academic Press
- City: London, Orlando
- Edition: Digital Edition
- Language: English
- pdf
Download the book The Computer Modelling of Mathematical Reasoning for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)