Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

CSL'89 : proceedings / 3rd Workshop on Computer Science Logic; ed. E. Borger, H. Kleine Buning, M. M. Richter

Corporate Author (Main) Workshop on Computer Science Logic, 3, Kaiserslautern, 1989 Secondary Author Börger, Egon
Buning, H. Klein
Richter, M. M. Country Alemanha. Publication Berlin : , Springer-Verlag Description VI, 437 p. : il. ; 25 cm Series Lecture notes in computer science , 440 ISBN 3-540-52753-2 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 Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 47805 Available 75082
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.