Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Logical environments / ed. Gérard Huet, Gordon Plotkin

Secondary Author Huet, Gérard
Plotkin, Gordon, 1946- Corporate Author (Secondary) International Workshop on Logical Frameworks, 2, Edinburgh, 1991 Country Reino Unido. Publication Cambridge : Cambridge University Press, 1993 Description XIII, 338 p. ; 24 cm ISBN 0-521-43312-6 CDU 510.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 107465 Available 236163
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.