Knowledge Assimilation and Proof Restoration Through the Addition of Goals.

Hisashi Hayashi

Browse the full AIMSA paper archive.