Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.133 Gab l
Collection Type	Indeks Artikel LNCS
Title	HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173
Author	Henning Christiansen; Veronica Dahl;
Publisher	Springer, 2005
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.133 Gab l		TERSEDIA

Tidak ada review pada koleksi ini: 38323

Tidak ada abstrak pada koleksi ini

Latest Collection

Pengembangan Teknik Video Streaming yang Scalable dan Low Latency Berbasis QUIC

Type: Skripsi

Pengembangan dan Evaluasi Antarmuka Aplikasi Moodle Pembangkitan Animasi Subtitle Bahasa Isyarat untuk Guru dan Siswa dengan Pendekatan User-Centered Design

Type: Skripsi

Analisis Faktor yang Memengaruhi Niat Penggunaan Aplikasi Digital Korlantas POLRI serta Evaluasi Usability dan Perbaikan Desain Antarmukanya

Type: Skripsi

Analisis Faktor-faktor yang mempengaruhi Continuance Intention Pengguna dalam Melakukan Online Gambling di Indonesia: Studi Kasus Permainan Slot

Type: Skripsi

Analisis Korelasi Image Quality Assesment Objektif dan Subjektif pada Dataset Citra Koniq-10K

Type: Skripsi

Development of Pacil Web Service (PWS) as Platform as a Service (PaaS) for Single Container Web Application Deployment in Pemrograman Berbasis Platform (PBP) Course of Faculty of Computer Science Universitas Indonesia

Type: Skripsi

Implementasi Sistem Pencapaian Pengukuran Capaian Pembelajaran Mahasiswa Berbasis Outcome-Based Education di Fakultas Ilmu Komputer Universitas Indonesia

Type: Skripsi

Peningkatan Proses Pengembangan Perangkat Lunak Menggunakan ISO 9001: 2015 dan CMMI V2.0: Studi Kasus BPJS Kesehatan

Type: Karya Akhir (KA)

Pemodelan Prakiraan Beban Jangka Pendek untuk Acuan Perencanaan dan Pengoperasian Sistem Tenaga Listrik

Type: Karya Akhir (KA)

Optimasi Specific Fuel Consumption Berbasis Neural Network pada Supercritical Boiler PLTU 660 Megawatt

Type: Karya Akhir (KA)

Favorite