Adapting Methods to Novel Tasks in Proof Planning (1994)

Cached

Download Links

by Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Jörn Richts
Venue:KI-94: ADVANCES IN ARTIFICIAL INTELLIGENCE -- PROCEEDINGS OF KI-94, 18TH GERMAN ANNUAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
Citations:8 - 8 self