Full Description
| Buku Teks SO |
| Call Number | |
| Title | The computer modelling of mathematical reasoning |
| Author | Bundy, Alan, author |
| Joint Author | |
| Publisher | London: Academic Press, 1983 |
| Subject | Mathematics -- Data processing Logic, Symbolic and mathematical Automatic theorem proving |
| Location | Perpustakaan UI, Lantai 2 |
| Concise Text |
- Availability
- Digital Files: 0
- Review
- Cover
- Abstract
| Call Number | Barcode Number | Availability |
|---|---|---|
| 511.3 BUN c | 01-14-19925 | TERSEDIA |
| 511.3 BUN c | 01-14-19926 | TERSEDIA |
| No review available for this collection: 144408 |
Abstract
No abstract available for this collection