Loading…
The computer modelling of mathematical reasoning
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Academic Press
1983
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 001 | 00507652 | ||
| 003 | PWmBRO | ||
| 005 | 20240602100524.0 | ||
| 008 | 850913s1983 enka a o0011 eng l | ||
| 082 | 0 | 0 | |a 511.3 |z 19 |
| 090 | 0 | 0 | |b 511.3/B942c |
| 100 | 1 | 0 | |a Bundy, Alan |
| 245 | 1 | 4 | |a The computer modelling of mathematical reasoning |c Alan Bundy |
| 260 | 0 | 0 | |a London |b Academic Press |c 1983 |
| 300 | 0 | 0 | |a xiv, 322 p. |b ill |c 23 cm. |
| 595 | 0 | 0 | |a 0121412520 |
| 650 | 0 | 0 | |a Mathematics |x Data processing |
| 650 | 0 | 0 | |a Logic, Symbolic and mathematical |
| 650 | 0 | 0 | |a Automatic theorem proving |
| 942 | |2 ddc | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_B942C |7 0 |8 MN |9 37589 |a ML015 |b ML015 |c MN |d 2024-06-02 |l 0 |o 511.3 B942c |p 037791 |r 2018-03-23 00:00:00 |w 2018-03-23 |y BK | ||
| 994 | |a 001037791 86169 0001 | ||
| 995 | 0 | 0 | |a NUNE |
| 999 | |c 27040 |d 27040 | ||