Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 006.3 Han |
| Collection Type | Buku |
| Title | Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov |
| Author | |
| Publisher | Netherlands:Elsevier Science;2001 |
| Subject | Reasoning Atomated; |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 006.3 Han | 02/9728 | TERSEDIA |
| 006.3 Han | 02/9728A | TERSEDIA |