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 Wed Aug 12 02:09:47 2020 BST.