Planning Mathematical Proofs with Methods (1994)

Cached

Download Links

by Xiaorong Huang , Manfred Kerber , Jörn Richts , Arthur Sehn
Venue:JOURNAL OF INFORMATION PROCESSING AND CYBERNETICS, EIK
Citations:15 - 5 self