Karin Genther

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Uwe Egly, Karin Genther
Structuring of Computer-Generated Proofs by Cut Introduction. Kurt Gödel Colloquium (1997)