Automating "human-like" example-use in mathematics (2018)

First Author: Pease A.
Attributed to:  Extension: MathSoMac: the social machine of mathematics funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85058233044

Type: Other

Volume: 2261

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073