Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

10th International Conference on Automated Deduction / Proceedings...; ed. M. E. Stickel

Corporate Author (Main) International Conference on Automated Deduction, 10, Kaiserslautern, 1990 Secondary Author Stickel, Mark E. Country Alemanha. Publication Berlin : Springer-Verlag, cop. 1990 Description XVI, 688 p. : il. ; 24 cm Series Lecture notes in artificial intelligence , 449 ISBN 3-540-52885-7 CDU 681.3
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 60684 Available 60526
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.