| Tipe Koleksi | Indeks Artikel Jurnal |
| Nama Jurnal | ACM JOURNAL |
| Volume | [47(2000): 1] |
| Judul Artikel | Logic in Computer Science: Existential Second-Order Logic Over Strings |
| Penulis | |
| Penerbit Jurnal | New York: The Assoction for Computing Machinery |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| TERSEDIA |