Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

Main Author Gabbay, Dov M., 1945- Coauthor Hodkinson, Ian
Reynolds, Mark Country Reino Unido. Publication Oxford : Clarendon Press, 1994-19-- Description v. ; 25 cm Series Oxford logic guides , 28 ISBN 0-19-853769-7 (v.1) Contents note vol.1 : 1994. - XIV, 653 p 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 Vol info Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109326 LIVRO vol.1 Available 127784
Total holds: 0

vol.1 : 1994. - XIV, 653 p.

There are no comments for this item.

Log in to your account to post a comment.