Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Automated deduction : a basis for applications / ed. Wolfgang Bibel, Peter H. Schmitt

Secondary Author Bibel, Wolfgang
Schmitt, Peter H. Country Holanda. Publication Dordrecht : Kluwer Academic Publishers, cop. 1998 Description 3 v. ; 25 cm Series Applied logic series , 8-9-10) ISBN 0-7923-5132-0 (Obra completa) Contents note vol.1 : Foundations : calculi and methods. - XX, 480 p vol.2 : Systems and implementation techniques. - XIV, 434 p vol.3 : Applications. - XII, 334 p CDU 519.6
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 Vol info Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 47481 LIVRO vol.1 Available 247755
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 47482 LIVRO vol.2 Available 247756
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 47483 LIVRO vol.3 Available 247757
Total holds: 0

Enhanced descriptions from Syndetics:

vol.1 : Foundations : calculi and methods. - XX, 480 p vol.2 : Systems and implementation techniques. - XIV, 434 p vol.3 : Applications. - XII, 334 p.

There are no comments for this item.

Log in to your account to post a comment.