Tipe Koleksi | Indeks Artikel Jurnal |
Nama Jurnal | ACM Transaction ON DATABASE SYSTEMS |
Volume | [21 (1996): 2] |
Judul Artikel | Solving satisfiability and implication problems in database systems |
Penulis | |
Penerbit Jurnal | New York: The Association for Computing Machinery |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
TERSEDIA |