Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-228 |
| Collection Type | Indeks Artikel prosiding/Sem |
| Title | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146) |
| Author | Michael Kifer Georg Lausen; |
| Publisher | |
| Subject | |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-228 | TERSEDIA |