Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Home
/
Search for:
Your search for 3395 returns 974 document(s)
Handbook of automated reasoning vol. 1/editor Alan Bobinson and Andrei Voronkov
Call Number: 006.3 Han | Type: Buku
Find Similar Add to Favorite Open in New Tab
Handbook of automated reasoning vol. II
Call Number: 006.3 Han | Type: Buku
Find Similar Add to Favorite Open in New Tab
The Handbook artificial intelligence vol. III
Call Number: 006.3 Han | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
The Handbook of artificial intelligence vol. 1
Call Number: 006.3 Han | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
The computer modeling of mathematical reasoning
Author: Bundy, Alan; |
Call Number: 006.3 Bun c | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
Automation of reasoning 1: classical papers on computational logic 1957-1966
Author: Siekmann, Jorg; Wrightson, Graham ed.; |
Call Number: 006.35 Sie a | Type: Buku
Find Similar Add to Favorite Open in New Tab
The Handbook of artificial intelligence volume 2
Author: Barr, Avron; |
Call Number: R. 006.3 Han a | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
Artificial intelligence: an MIT perspective : vol. 1. expert problem solving natural lang...
Call Number: 006.3 Art | Type: Buku
Find Similar Add to Favorite Open in New Tab
Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov
Call Number: 006.3 Han | Type: Buku
Find Similar Add to Favorite Open in New Tab
Artificitl intellingence techniques: a comprehensive catalogue/Alan Bundy
Author: Bundy, Alan; |
Call Number: 006.3 Bun a | Type: Buku
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Analisis Peringkat Faktor Penentu Kesuksesan Proyek Pembaruan Aplikasi SOA Menggunakan Analytic Hierarchy Process (AHP) dan Rekomendasi Perbaikan: Studi Kasus PT Bank XYZ
Type: Karya Akhir (KA)
Kerangka Kerja Transisi dan Adopsi Agile: Studi Kasus Aplikasi Perizinan Online Kementrian ESDM
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Perilaku Pengguna Dalam Menghindari Ancaman Keamanan pada Mobile Banking
Type: Karya Akhir (KA)
Perancangan Strategi Tata Kelola Data: Studi Kasus Pemerintah Kabupaten Sumenep
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Pengguna dalam Menggunakan Fitur Ulasan Produk pada Aplikasi Tokopedia
Type: Karya Akhir (KA)
Perancangan Strategi Sistem Informasi Pada Software Development Company: Studi Kasus PT XYZ
Type: Karya Akhir (KA)
Perancangan Manajemen Keamanan Informasi Sistem Pemerintahan Berbasis Elektronik Menggunakan Peraturan Badan Siber dan Sandi Negara Nomor 4 Tahun 2021 dan ISO/IEC 27001:2022: Studi Kasus Pusat Penelitian, Data dan Informasi Badan Narkotika Nasional
Type: Karya Akhir (KA)
Asesmen Maturitas Kualitas Data: Studi Kasus PT.DEF
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Yang Memengaruhi Perpindahan Niat Berbelanja Ke Fitur E-Fulfillment: Studi Kasus Dilayani Tokopedia
Type: Karya Akhir (KA)
Analisis Pengaruh Personalisasi Produk dan Service Quality Pada Niat Keberlanjutan Pengguna Online Grocery: Studi Kasus Tokopedia NOW!
Type: Karya Akhir (KA)
Favorite
Conceptual mathemarics: a first introduction to categories
Author: Lowvere, F. William | Publisher: null
[Remove]
Login
Advanced Search