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