RecordNumber
768
Author
International Symposium DISCO ʹ96 (1996 : Karlsruhe, Germany)
Title
Design and 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)