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 Recursive path orderings can be context-sensitive, Hal. 314-331
Author Cristina Borralleras, Salvador Lucas; Albert Rubio;
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: 36726
Tidak ada abstrak pada koleksi ini