Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. - International Conference AISMC-1 (1992 : Karlsruhe, Germany); Calmet, Jacques; Campbell, John A. 1940-. (Berlin Springer-Verlag, 1993)
Keywords: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses