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
/
Buku
/
Buku
All | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |

Logic for problem solving
Author: Kowalski, Robert; | Publisher: Nwe York: Amsterdam, 1979
Call Number: 519.7 Kow l | Edition:
Find Similar Add to Favorite Open in New Tab
Logic in computer science: modelling and reasoning about systems
Author: Huth, Michael; | Publisher: Cambridge University Press, 2000
Call Number: 005.015 Hut l | Edition:
Find Similar Add to Favorite Open in New Tab
Logic in computer science:Modelling and reasoning about systems 2nd ed.
Author: Huth, Michael; | Publisher: New York: Cambridge,2004
Call Number: 005.015 Hut l | Edition:
Find Similar Add to Favorite Open in New Tab
Logic machines & diagrams/ Martin Gardner
Author: Gardner, Martin; | Publisher: USA; McGraw-Hill Book Company; 1973
Call Number: 621.395 Gar l | Edition:
Find Similar Add to Favorite Open in New Tab
Logic minimization algorithms for VLSI synthesis
Author: | Publisher: Boston: Kluwer Academic Press, 1984
Call Number: 621.381 Log | Edition:
Find Similar Add to Favorite Open in New Tab
Logic programming
Author: | Publisher: London ; New York : Academic Press, 1982.
Call Number: 005.115 Log | Edition:
Find Similar Add to Favorite Open in New Tab
Logic programming and knowledge engineering
Author: Amble, Tore; | Publisher: Wokingham, England Addison-Wesley 1987
Call Number: 005.1 Amb l | Edition:
Find Similar Add to Favorite Open in New Tab
Logic programming prolog and its applications/ Bob Kowalski
Author: Kowaslki, Bob; | Publisher: Workingham, England: Addison-Wesley, 1986
Call Number: R. 006.3 Kow l | Edition:
Find Similar Add to Favorite Open in New Tab
Logic programming/ edited by K.L. Clark and S. A. Tarnlund
Author: | Publisher: London: Acaedemic Press, 1982
Call Number: 005.1 Log | Edition:
Find Similar Add to Favorite Open in New Tab
Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 200...
Author: Gabbrielli, Maurizio; | Publisher: Berlin: Springer Verlag, 2005
Call Number: 005.133 Gab l | Edition:
Find Similar Add to Favorite Open in New Tab
Latest Collection
Optimalisasi Antarmuka dan Pengalaman Pengguna Sistem Manajemen pada Bosnet Distribution Indonesia sebagai UI/UX Designer
Type: Kerja Praktek (KP)
Analisis Risiko Keamanan Siber dan Pengembangan Security Operations Center PT.SKBD
Type: Kerja Praktek (KP)
Analisis Perbandingan dan Rrekomendasi Desain Microlearning Antarplatform Pembelajaran Digital : Udemi Khan Academy dan Edx
Type: Skripsi
Analisis Faktor-faktor Penentu Penggunaan AI Secara Etis di Kalangan Mahasiswa dengan Menggunakan Teori Planned Behavior dan Health Belief Model Studi Kasus : CHATGPT
Type: Skripsi
Analisis Faktor-faktor yang Memengaruhi Niat Keberlanjutan Penggunaan Platform Quick Commerce: Studi Kasus Pengguna Astro
Type: Skripsi
Analisis Faktor Pendorong Terhadap niat Penggunaan Artificial Intelligence-Aided Design Tools: Studi Kasus Plugin AI di FIGMA
Type: Skripsi
Pengembangan Fitur Evaluasi pada MOOC dengan Metode Large Language Model
Type: Skripsi
Sistem Optical Character Recognition untuk Naskah Pegon Tulis Tangan
Type: Skripsi
Partially Reliable Video Live Streaming Based on Quicc in Mobile Platform
Type: Skripsi
Re-Enginering Webshop Into Product Line Application With Prices-IDE
Type: Skripsi
Favorite
Login
Advanced Search