Th. Gerneth

According to our database, Th. Gerneth authored at least 1 paper in 1989.

Collaborative distances:

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

1989

Implementation of Predicate Logic in APL2.

Uwe Engelmann, Th. Gerneth, Hans-Peter Meinzer

Proceedings of the Conference Proceedings on APL as a Tool of Thought, 1989