Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings - International Symposium on Design and Implementation of Symbolic Computation Systems 1996 : Karlsruhe, Germany); Calmet, Jacques; Limongelli, Carla (Berlin : Springer, 1996)
Keywords: System design -- Congresses; Automatic theorem proving -- Congresses; Mathematics -- Data processing -- Congresses