Beranda
Tentang Kami
Profil
Fasilitas
Fasilitas Perpustakaan
Prosedur Peminjaman Fasilitas
Cara Berkunjung
Kunjungan Siva UI
Kunjungan Non UI
Kunjungan Kerja/ Kedinasan
Regulasi
Sanksi Keterlambatan
Biaya Pengunjung Non UI
Staf Perpustakaan
Koleksi
Koleksi Tercetak
Koleksi Elektronik
Naskah
Layanan
Waktu Layanan
Aktivasi Keanggotaan
Pinjam Kembali Buku
Surat Keterangan Bebas Pustaka
Layanan Referensi
Penelusuran Literatur
RISER
EDS
Pemeriksaan Kemiripan Dokumen
Salin File
UIANA
Panduan Penulisan
Penyerahan Karya Ilmiah
Akses Open-Membership
Koleksi
UI - Disertasi (Membership)
UI - Disertasi (Open)
UI - Laporan Penelitian
UI - Makalah dan Kertas Kerja
UI - Pidato
UI - Publikasi
UI - Skripsi (Membership)
UI - Skripsi (Open)
UI - Tesis (Membership)
UI - Tesis (Open)
UI - Tugas Akhir
UILib Berkala
Beranda
Tentang Kami
Profil
Fasilitas
Staf Perpustakaan
Koleksi
Koleksi Tercetak
Koleksi Elektronik
Naskah
Layanan
Waktu Layanan
Aktivasi Keanggotaan
Pinjam Kembali Buku
Surat Keterangan Bebas Pustaka
Layanan Referensi
Penelusuran Literatur
RISER
EDS
Pemeriksaan Kemiripan Dokumen
Salin File
UIANA
Panduan Penulisan
Penyerahan Karya Ilmiah
Akses Open-Membership
Koleksi
UI - Disertasi (Membership)
UI - Disertasi (Open)
UI - Laporan Penelitian
UI - Makalah dan Kertas Kerja
UI - Pidato
UI - Publikasi
UI - Skripsi (Membership)
UI - Skripsi (Open)
UI - Tesis (Membership)
UI - Tesis (Open)
UI - Tugas Akhir
UILib Berkala
Katalog
Site Map
FAQ
Akses cepat
Database Online
IOS
Unggah
Universitas Indonesia
Webmail UI
SIAK NG
SIPEG
EMAS
EDOM
SIRIP
SIPMA
DRPM
BPMA
DKIB
Registrasi Rekanan
Green
Beranda
Tentang Kami
Profil
Fasilitas
Fasilitas Perpustakaan
Prosedur Peminjaman Fasilitas
Cara Berkunjung
Kunjungan Siva UI
Kunjungan Non UI
Kunjungan Kerja/ Kedinasan
Regulasi
Sanksi Keterlambatan
Biaya Pengunjung Non UI
Staf Perpustakaan
Koleksi
Koleksi Tercetak
Koleksi Elektronik
Naskah
Layanan
Waktu Layanan
Aktivasi Keanggotaan
Pinjam Kembali Buku
Surat Keterangan Bebas Pustaka
Layanan Referensi
Penelusuran Literatur
RISER
EDS
Pemeriksaan Kemiripan Dokumen
Salin File
UIANA
Panduan Penulisan
Penyerahan Karya Ilmiah
Akses Open-Membership
Koleksi
UI - Disertasi (Membership)
UI - Disertasi (Open)
UI - Laporan Penelitian
UI - Makalah dan Kertas Kerja
UI - Pidato
UI - Publikasi
UI - Skripsi (Membership)
UI - Skripsi (Open)
UI - Tesis (Membership)
UI - Tesis (Open)
UI - Tugas Akhir
UILib Berkala
Beranda
/
Hasil Pencarian
Hasil Pencarian ::
Simpan CSV
::
Kembali
Hasil Pencarian
Ditemukan
1
dokumen yang sesuai dengan query
Semua
Artikel Jurnal
Buku Klasik
Buku Referensi
Buku Teks
Buku Teks SO
eBooks
Majalah, Jurnal, Buletin
Multimedia
Naskah
Prosiding - Seminar
UI - Disertasi Membership
UI - Disertasi Open
UI - Laporan Penelitian
UI - Makalah dan Kertas Kerja
UI - Pidato
UI - Publikasi
UI - Skripsi Membership
UI - Skripsi Open
UI - Tesis Membership
UI - Tesis Open
UI - Tugas Akhir
Reset
Maier, David
Computing with logic: logic programming with prolog
Menlo Park: Benjamin/Cummings, 1988
005.133 MAI c
Buku Teks SO
Universitas Indonesia Library
Cari yang mirip
Tambahkan ke Favorit
Metadata PDF
