Planning Mathematical Proofs with Methods

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn. Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):277-291, 1994.

Authors

Xiaorong Huang

This author has not been identified. Look up 'Xiaorong Huang' in Google

Manfred Kerber

This author has not been identified. Look up 'Manfred Kerber' in Google

Jörn Richts

This author has not been identified. Look up 'Jörn Richts' in Google

Arthur Sehn

This author has not been identified. Look up 'Arthur Sehn' in Google