Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 025.04 Vor a |
| Collection Type | Buku |
| Title | Automated deduction - Code 18 18th international conference on automated deduction Copenhagen, Denmark, July 2002 Proceedings |
| Author | Voronkv, Andri; |
| Publisher | |
| Subject | Automated information systems |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 025.04 Vor a | 02/9725 | TERSEDIA |