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	A Sat based approach for solving formulas over boolean and linear mathematical propositions, Hal. 193-210
Author	Gilles Audemard; Piergiorgio Bertoli, Alessandro Cimatti;
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: 36716

Tidak ada abstrak pada koleksi ini

Latest Collection

A First course in differential equations with modeling applications 12 ed.

Type: Buku

Analisis dan Perancangan Aplikasi PendukungPembelian Produk Sustainable Fashion

Type: Skripsi

Integrasi Sistem Pengecekan Plagiarisme Elang dengan Sistem Informasi Sidang(Sisidang) Fakultas Ilmu Komputer Universitas Indonesia

Type: Skripsi

Analisis dan Perancangan Aplikasi Manajemen Keuangan Pribadi untuk Penggunaan Berkelanjutan : Suatu Penelitian Design Science

Type: Skripsi

Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS

Type: Karya Akhir (KA)

Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC

Type: Karya Akhir (KA)

Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial

Type: Karya Akhir (KA)

Evaluasi Usability dan Rekomendasi Desain Virtual Community Pada Marketplace Produk Digital Itemku

Type: Karya Akhir (KA)

Strategi Peningkatan Keamanan Informasi pada Pusat Sistem Informasi dan Teknologi Keuangan

Type: Karya Akhir (KA)

Favorite