Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

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