Full Description
| Buku Teks SO |
| Call Number | |
| Title | Symbolic logic and mechanical theorem proving |
| Author | Chang, Chin-Liang, author |
| Joint Author | Lee, Richard Char-Tung, author |
| Publisher | New York: Academic Press, 1973 |
| Subject | Logic, symbolic and mathematical |
| Location | Perpustakaan UI, Lantai 2 |
| Concise Text |
- Availability
- Digital Files: 0
- Review
- Cover
- Abstract
| Call Number | Barcode Number | Availability |
|---|---|---|
| 511.3 CHA s | 01-10-12001235 | TERSEDIA |
| No review available for this collection: 145379 |
Abstract
No abstract available for this collection