Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

The resolution calculus / Alexander Leitsch

Main Author Leitsch, Alexander Country Alemanha. Publication Berlin : Springer, 1997 Description VIII, 300 p. ; 25 cm Series Texts in theoretical computer science) ISBN 3-540-61882-1 CDU 510.5
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 107381 Available 171875
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.