Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 511.3 Cha s |
| Collection Type | Buku Pusat |
| Title | Symbolic logic and mechanical theorem proving |
| Author | Chang, Chin-Liang; |
| Publisher | New York : Academic Press, 1973 |
| Subject | Logic, symbolic and mathematical |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Cha s | 87/5264 | TERSEDIA |