Adapting Methods to Novel Tasks in Proof Planning.

Xiaorong Huang Manfred Kerber Michael Kohlhase Jörn Richts

Published in: KI (1994)

Keyphrases

proof planning
artificial intelligence
multimedia
logical framework