E. Unvericht

Publication Activity (10 Years)

Years Active: 1979-1980
Publications (10 Years): 0

Publications

Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
Das Karlsruher Beweissystem. GI Jahrestagung (1980)
Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht
A short survey on the state of the art in matching and unification problems. SIGSAM Bull. 13 (2) (1979)