Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-281
Collection Type	Indeks Artikel prosiding/Sem
Title	Hylores 1.0: direct resolution fo hybrid logics, Hal. 156-160
Author	Carlos Arecess and Juan Hegulabehere;
Publisher	Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-281		TERSEDIA

Tidak ada review pada koleksi ini: 36713

Tidak ada abstrak pada koleksi ini

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