Normal view MARC view ISBD view

Programming with higher-order logic / Dale Miller, Gopalan Nadathur

Main Author Miller, Dale Coauthor Nadathur, Gopalan Country Reino Unido. Publication Cambridge : Cambridge University Press, 2012 Description XIII, 306 p. ; 24 cm ISBN 978-0-521-87940-8 CDU 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
BGUM 519.68 - M Checked out 2024-07-04 486867
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.