Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving
Sjarif Abdat;
Sumantri Slamet, supervisor
(Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987)
|
| Jenis Koleksi : | UI - Skripsi Membership |
| No. Panggil : | S27224 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Program Studi : | |
| Subjek : | |
| Penerbitan : | Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987 |
| Bahasa : | ind |
| Sumber Pengatalogan : | |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Deskripsi Fisik : | viii, 61 hlm. : ill. ; 28 cm. |
| Naskah Ringkas : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| S27224 | 14-22-61288025 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20180303 |
