Manfed R. Jobmann

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

Manfed R. Jobmann, Johann Schumann
Modelling and performance analysis of a parallel theorem prover Forschungsberichte, TU Munich (1991)