Adapting methods to novel tasks in proof planning
Huang X, Kerber M, Kohlhase M, Richts J (1994)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 1994
Publisher: Springer Verlag
Pages Range: 379-390
ISBN: 9783540584674
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-2342658424&origin=inward
Authors with CRIS profile
Involved external institutions
United Kingdom (GB)How to cite
APA:
Huang, X., Kerber, M., Kohlhase, M., & Richts, J. (1994). Adapting methods to novel tasks in proof planning. In Proceedings of the 18th Annual German Conference on Artificial Intelligence, KI 1994 (pp. 379-390). Springer Verlag.
MLA:
Huang, Xiaorong, et al. "Adapting methods to novel tasks in proof planning." Proceedings of the 18th Annual German Conference on Artificial Intelligence, KI 1994 Springer Verlag, 1994. 379-390.
BibTeX: Download