Computing Publications

Publications Home » Integrating AI Systems for Mathem...

Integrating AI Systems for Mathematical Discovery

Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton

Conference or Workshop Paper
13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
August, 2006
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.