| 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 |