00933cam a2200217 a 450000500170000000800410001702000150005802200130007303500150008605000250010111101260012624502020025226000300045430000110048444000490049565000300054465000420057465000450061670000260066170000280068720260818090128.0080624s1996    gw      r     100|0 eng |  a3540616977  a03029743  a.b1154849600aQA76.9 D26bI58 19962 aInternational Symposium on Design and Implementation of Symbolic Computation Systemsn(4th :d1996 :cKarlsruhe, Germany)10aDesign and implementation of symbolic computation systems :bInternational Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /cJacques Calmet and Carla Limongelli, eds.  aBerlin :bSpringer,c1996  a356 p. 0aLecture notes in computer science ;vv. 1128 0aSystem designvCongresses 0aAutomatic theorem provingvCongresses 0aMathematicsxData processingvCongresses1 aCalmet, Jacques,eed.1 aLimongelli, Carla,eed.