| DaftarIsitemplate |
| Call Number |
| 025.04 Vor a |
| 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 |