| Bibliografi |
|
| Barcode |
| 0322120000523350; |
| Pengarang |
|
| Cat. Karya |
|
| Pertemuan |
|
| Nama Dosen |
| ; |
| Jdl Srgm |
|
| ISBN |
| 0444829490;0-262-18222-X |
| No. Induk |
| 02/9728;02/9728A |
| Isi |
|
| Kata Kunci |
|
| Penerbit |
| Netherlands:Elsevier Science;2001 |
| Tahun buku |
| 2001 |
| Barcode RFID baru |
| 03090475;03090459 |
| Progam Studi |
|
| Lokasi |
| FASILKOM-UI; ;FASILKOM-UI; |
| Tanggal Datang |
| 20/11/2002;20/11/2002 |
| Asal Dana |
| QUE; ;QUE; |
| Status 1 |
| ; |
| Abstrak Indonesia |
|
| Pesanan |
| ; |
| Semester Genap Ganj |
| ; |
| Barcode Baru - UI |
| ; |
| Edisi |
| ; |
| Cetakan |
| ; |
| Cat. Umum |
|
| Judul |
| Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov |
| Tgl Pemasukan |
| ; |
| Suplemen |
|
| Asal |
|
| Jdl Srgm Utama |
|
| Buku Ajar |
| ; |
| Bahasa 2 |
|
| Korporasi |
|
| Sumber Pengadaan |
| ; |
| Pengarang 2 |
| Robinson, Alan |
| Subjek |
| Reasoning Atomated; |
| Asal Dana 2 |
| ; |
| Mata Kuliah |
| ; |
| Seri |
|
| Harga |
| ; |
| Barcode Aset Fasilko |
| ; |
| Fisik |
| xxv+970 pages;il.+index;25 cm. |
| Bahasa |
| Eng |
| No. Panggil |
| 006.3 Han |