Keim: A toolkit for automated deduction

Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J (1994)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1994

Publisher: Springer Verlag

Pages Range: 807-810

ISBN: 9783540581567

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84943317064&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Universität des Saarlandes (UdS) DE Germany (DE) University of Birmingham GB United Kingdom (GB)

How to cite

APA:

Huang, X., Kerber, M., Kohlhase, M., Melis, E., & Siekmann, J. (1994). Keim: A toolkit for automated deduction. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 807-810). Springer Verlag.

MLA:

Huang, Xiaorong, et al. "Keim: A toolkit for automated deduction." Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 Springer Verlag, 1994. 807-810.

BibTeX: Download