Biblioteca da Universidade do Minho

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

Setheo : a high-performance theorem prover / Reinhold Letz... [et al.]

Coauthor Letz, Reinhold Country Alemanha. Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 30 p. ; 21 cm Series TUM , I9008 Sonderforschungsbereich 342 Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen 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
BGUMD 48272 Available 75396
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.