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 612 returns 694 document(s)
Logics of time and computation
Author: Goldblatt, Robert; |
Call Number: 160 Gol l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Elements of the theory of computation
Author: Lewis, Harry R.; |
Call Number: 511 Lew e | Type: Buku
Find Similar Add to Favorite Open in New Tab
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
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
Logic in computer science:Modelling and reasoning about systems 2nd ed.
Author: Huth, Michael; |
Call Number: 005.015 Hut l | 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
The Ofiicial Guide to the GRE Revised General Test
Type: Buku
How to Prepare for the TOEFL Test of English as a Foreign Language 10 th edition
Type: Buku
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
Favorite
Login
Advanced Search