Biblioteca da Universidade do Minho

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

Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. M. McRobbie, Robert K. Meyer

Main Author Thistlewaite, Paul B. Coauthor MacRobbie, Michael A. M
Meyer, Robert K. Country Reino Unido. Publication London : Pitman, 1988 Description 154 p. : il. ; 24 cm Series Research notes in theoretical computer science ISBN 0-470-211006-0 CDU 510.6 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 Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 45592 Available 49180
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.