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 29740 returns 290 document(s)
Formal logic: its scope and limits
Author: Jeffrey, Richard C.; |
Call Number: 160 Jef f | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
Formal logic: its scope and limits/ Richard Jeffrey
Author: Jeffrey, Richard; |
Call Number: 160 Jef f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal Methods in Artificial Intelligence
Author: Ramsay, Allan; |
Call Number: 006.3 Ram f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Machine translation: its scope and limits
Author: Wilks, Yorick; |
Call Number: 418.02 Wil m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logics of time and computation
Author: Goldblatt, Robert; |
Call Number: 160 Gol l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Deductive logic and Description language/ Frank R. Harrison III
Author: Harrison, Frank R.; |
Call Number: 511.3 Har d | Type: Buku
Find Similar Add to Favorite Open in New Tab
Natural deduction: a proof-theoretical study/ Da Prawitz
Author: Prawitz, Dag; |
Call Number: 162 Pra n | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logic machines & diagrams/ Martin Gardner
Author: Gardner, Martin; |
Call Number: 621.395 Gar l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Introduction to logic programming
Author: John Hogger, Christopher; |
Call Number: 005.115 Joh i | Type: Buku
Find Similar Add to Favorite Open in New Tab
A new introduction to modal logic
Author: Hughes, G.E.; |
Call Number: 160 Hug n | 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
UI/UX Designer Internship di Katadata Perancangan Dashboard Katadata Green, Revamp data series, dan pembuatan one-page website untuk d-insights
Type: Kerja Praktek (KP)
Analisis Faktor yang Memengaruhi Continuance Intention pada Platform Peer-to-Peer Accommodation Berdasarkan Elaboration Likelihood Model: Studi Kasus Airbnb
Type: Skripsi
Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Web Kampus DesigMerdeka Kemendikbudristek bagi Penyandang Disabilitas Penglihatan, Buta Warna, dan Attention Deficit Hyperactivity Disorder (ADHD) dengan Pendekatan User-centered n
Type: Skripsi
Analisis dan Penerapan PRICES-IDE pada Antarmuka Pengguna Supply Chain Management Software Product Line
Type: Skripsi
SATASIUN BUMI ITB UNTUK SATELIT ORBIT RENDAH
Type: Indeks Artikel prosiding/Sem
CAKAR JAYA DUA (Catur Karsa Jala dan Urusan Anda)
Type: Indeks Artikel prosiding/Sem
SATU DASA WARSA JASIPAKTA
Type: Indeks Artikel prosiding/Sem
RANCANGBANGUN SISTEM REPEATER RADIO GENERASI I SEBAGAI UJI COBA KOMUNIKASI DATA LAPAN
Type: Indeks Artikel prosiding/Sem
SUSTAINABLE DEVELOPMENT NETWORKING PROGRAMME (SDNP) IN INDONESIA : STATUS AND PROSPECT
Type: Indeks Artikel prosiding/Sem
PERKEMBANGAN INFORMATION INFRASTRUCTURE DALAM MENSUKSESKAN PJP II
Type: Indeks Artikel prosiding/Sem
Favorite
Login
Advanced Search