S. Heilmeier

According to our database, S. Heilmeier authored at least 1 paper in 1986.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1986

An Implemented Simulation of a Parallel Theorem Prover.

Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986