Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 006.3 Han |
| Collection Type | Buku |
| Title | Handbook of automated reasoning vol. 1/editor Alan Bobinson and Andrei Voronkov |
| Author | |
| Publisher | Amsterdam Elsevier 2001 |
| Subject | Artificial intelligence |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 006.3 Han | 02/9731 | TERSEDIA |