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	The quest fo efficient boolean satisfiability solvers, Hal. 295-313
Author	Lintao Zhang; Sharad Malik;
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: 36725

Tidak ada abstrak pada koleksi ini

Latest Collection

Strategi Transformasi Digital pada Lembaga Pendidikan Dasar dan Menengah: Studi Kasus Yayasan Pendidikan ABC

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Niat Penggunaan Aplikasi iPusnas secara Berkelanjutan

Type: Skripsi

Pengembangan Alat Ekstraksi Informasi pada Teks Berita dengan Large Language Model dan Knowledge Graph

Type: Skripsi

Perancangan Aplikasi Kuesioner Berbasis Web untuk Penilaian Antarmuka Aplikasi: Studi Kasus e-Learning dan Online Travel Agent

Type: Skripsi

Tinjauan Kalkulasi Sistem Satelit Siaran Langsung Pita X/S

Type: Indeks Artikel prosiding/Sem

SISTEM TRANSMISI RADIO UNTUK DAERAH TERPENCIL (SEBUAH ALTERNATIP)

Type: Indeks Artikel prosiding/Sem

SATELIT-SATELIT AMATEUR RADIO YANG MENGGUNAKAN SISTEM DIGITAL

Type: Indeks Artikel prosiding/Sem

CAKAR JAYA (CATUR KARSA JALA RAYA)

Type: Indeks Artikel prosiding/Sem

UPGRADING OF RADIO TRANSMISSION LINKS OF THE JASIPAKTA NETWORK

Type: Indeks Artikel prosiding/Sem

STATUS JASIPAKTA DAN MANFAATNYA SAAT INI

Type: Indeks Artikel prosiding/Sem

Favorite