University of Birmingham

University / College


Location: Birmingham, United Kingdom (GB) GB

ISNI: 0000000419367486

ROR: https://ror.org/03angcq70

Show on Map:

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Keim: A toolkit for automated deduction (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article A mechanization of strong Kleene logic for partial functions (1994) Kerber M, Kohlhase M Conference contribution, Original article Adapting methods to novel tasks in proof planning (1994) Huang X, Kerber M, Kohlhase M, Richts J Conference contribution, Original article
‹ 1 ... 26 27 28 ›