Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 006.3 Han
Collection Type Buku
Title Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov
Author
Publisher Netherlands:Elsevier Science;2001
Subject Reasoning Atomated;
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
006.3 Han 02/9728 TERSEDIA
006.3 Han 02/9728A TERSEDIA
Tidak ada review pada koleksi ini: 4966
Tidak ada abstrak pada koleksi ini