Normal view MARC view ISBD view

Computation and reasoning : a type theory for computer science / Zhaohui Luo

Main Author Luo, Zhaohui Country Reino Unido. Publication Oxford : Clarendon Press, 1994 Description XI, 228 p. ; 24 cm Series The international series of monographs on computer science , 11 ISBN 0-19-853835-9 CDU 510.5 519.68
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 107379 Available 154011
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 107380 Available 158666
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.