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