Hubert Hofbauer

According to our database, Hubert Hofbauer authored at least 1 paper in 1985.

Collaborative distances:

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

1985

PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction.

Thomas A. Henzinger, Hubert Hofbauer

Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985