Call Number | SEM-198 |
Collection Type | Indeks Artikel prosiding/Sem |
Title | Decidable bounded quantification,Hal 151-162 |
Author | Giuseppe Castagna; Benjamin C.Pierce; |
Publisher | Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-198 | TERSEDIA |