by AISMC-3 (1996 Steyr, Austria)
Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.