Arthur Sehn

According to our database, Arthur Sehn authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Planning Mathematical Proofs with Methods.

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn

J. Inf. Process. Cybern., 1994