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 5314 returns 674 document(s)
Symbolic game of logic
Author: Corroll, Lewis; |
Call Number: 511.3 Car s | Type: Buku
Find Similar Add to Favorite Open in New Tab
Symbolic logic and mechanical theorem proving
Author: Chang, Chin-Liang; |
Call Number: 511.3 Cha s | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; |
Call Number: 511.3 Cha s | Type: Buku
Find Similar Add to Favorite Open in New Tab
Logic for computer computer scientist
Author: Schoning, Uwe; |
Call Number: 511.3 Sch l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Computability and logic 2nd ed.
Author: Boolos, George S; |
Call Number: 511.3 Boo c | Type: Buku
Find Similar Add to Favorite Open in New Tab
Mathematical logic for computer science
Author: Ben-Ari, M.; |
Call Number: 511.3 Ben m | Type: Buku
Find Similar Add to Favorite Open in New Tab
A Mathematical introduction to logic/ Herbert B. Enderton
Author: Enderton, Herbert B.; |
Call Number: 511.3 End m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Mathematical logic for computer science 3rd ed.
Author: Ben-Ari Mordechai; |
Call Number: 511.3 Ben m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Mathematical logic for computer science second edition
Author: Ben-Ari, Mordechai; |
Call Number: 511.3 Ben m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Symobolic logic 5th ed/ Irving M. Copi
Author: Copi, Irving M.; |
Call Number: 511.3 Cop s | 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