Call Number | SEM-379 |
Collection Type | Indeks Artikel prosiding/Sem |
Title | Proof-tree Transformation Theorems and Their Applications (172-181) |
Author | Raghu Ramakrishnan Yehoshua Sagiv Jeffrey D.Ulman Moshe Y.Vardi; |
Publisher | |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-379 | TERSEDIA |