The computer modelling of mathematical reasoning

Saved in:
Bibliographic Details
Main Author: Bundy, Alan
Format: Book
Language:English
Published: London Academic Press 1983
Subjects:
Mathematics > Data processing
Logic, Symbolic and mathematical
Automatic theorem proving
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items