Jobmann,, M.
Modelling and performance analysis of a parallel theorem prover / M. Jobmann, J. Schumann
Modelling and performance analysis of a parallel theorem prover / M. Jobmann, J. Schumann
. - München : Institut für Informatik of the Technische Universitat München, 1991
. - 17 p. : il. gráficos 21 cm
. - (TUM; I9129)(Sonderforschungsbereich 342)
519.68