DBLP:conf/ijcai/FehrerH97 + redirect page
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs + Has identifier
| Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs |
Has publishing details
pp. 959-964, 1997
Has title
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai97.html#FehrerH97
Has where published
IJCAI (2)
Has year
1997
Has author
Detlef Fehrer +, Helmut Horacek +
Has identifier
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs +
Categories Proceeding Paper +
|
