• RecordNumber
    768
  • Author
    International Symposium DISCO ʹ96 (1996 : Karlsruhe, Germany)
  • Title

    Design an‎d implementation of symbolic computation systems : International Symposium, DISCO ʹ96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

  • Author Statement
    Jacques Calmet, Carla Limongelli, eds.
  • Publication
    Berlin ; New York : Springer
  • Publication Year
    c1996
  • Collation
    1 online resource: ill.
  • Series
    Lecture notes in computer science , 0302-9743 ; 1128
  • Subject

    System design -‎- Congresses , Automatic theorem proving -‎- Congresses , Mathematics -‎- Data processing Congresses

  • ADDED ENTRIES
    AU Calmet, Jacques. , AU Limongelli, Carla.
  • وارد کنندة اطلاعات
    محمدي ايزو
  • تاريخ ورود اطلاعات
    11/03/05
  • Biblography
    International Symposium DISCO ʹ96 (1996 : Karlsruhe, Germany)