Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

McCasland, R. L., Bundy, A. and Smith, P.F. (2017) MATHsAiD: automated mathematical theory exploration. Applied Intelligence, 47(3), pp. 585-606. (doi:10.1007/s10489-017-0954-8)

This list was generated on Sat Dec 14 13:34:24 2019 GMT.