AISMC-2 (1994 Cambridge, England)

• Integrating symbolic mathematical computation and artificial intelligence