ML Anthology

Fehrer, Detlef

1 publications

IJCAI 1997 Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs Detlef Fehrer, Helmut Horacek