The computer modelling of mathematical reasoning
Saved in:
| Main Author: | Bundy, Alan |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London : New York :
Academic Press,
1983
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic for Computer Science :
by: Gallier, Jean H.
Published: (1987) -
Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1987) -
Gems of theoretical computer science
by: Schoning, Uwe 1955-
Published: (1998) -
Mechanical geometry theorem proving
by: Chou, Shang-Ching 1942-
Published: (1988) -
Deduction systems
by: Socher-Ambrosius, Rolf
Published: (1997)