United Kingdom (GB)

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 VIBRATIONS OF HYDROGEN-BONDS IN HYDROGENDISULFITO AND HYDROGENSULFITO COMPLEXES (1992) Breitinger D, Breiter R, Raidel M, Bauer G, Tomkinson J Journal article, Original article
‹ 1 ... 778 779 780 ›