Login / Signup
M. Breu
Publication Activity (10 Years)
Years Active: 1986-1986
Publications (10 Years): 0
</>
Publications
</>
Stefan Bayerl
,
M. Breu
,
S. Heilmeier
,
K. Lichtenwalder
An Implemented Simulation of a Parallel Theorem Prover.
AIMSA
(1986)