Publications

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Displaying results 41 to 42 of 42.

Knut Hinkelmann

A Consequence Finding Approach for Feature Recognition in CAPP

DFKI, DFKI Research Reports (RR), Vol. 94-11, 1994.
Knut Hinkelmann; Helge Hintze

Computing Cost Estimates for Proof Strategies

DFKI, DFKI Research Reports (RR), Vol. 94-10, 1994.