Biblioteca da Universidade do Minho

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

Modelling and performance analysis of a parallel theorem prover / M. Jobmann, J. Schumann

Main Author Jobmann, M. Coauthor Schumann, J. Country Alemanha. Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 17 p. : il. gráficos ; 21 cm Series TUM , I9129 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 48149 Available 137154
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.