Call Number | SEM-281 |
Collection Type | Prosiding Seminar |
Title | 18th international conference on automated deduction copenhagen,denmark,july 27-30,2002 proceedings |
Author | |
Publisher | |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-281 | 02/9725 | TERSEDIA |