Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Actions for The computer modelling of mathematical reasoning
Share
Email
RIS file
Bookmark
Report an Issue
The computer modelling of mathematical reasoning / Alan Bundy
Author
Bundy, Alan
Published
London ; New York : Academic Press, 1983.
Physical Description
xiv, 322 p. : ill. ; 23 cm.
Full Text available online
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Subject(s)
Mathematics
—
Data processing
Logic, Symbolic and mathematical
Automatic theorem proving
ISBN
0121412520 (pbk.)
0121412504 (hard)
Note
Includes index.
Bibliography Note
Bibliography: p. 312-317.
View MARC record
| catkey: 942453