Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Sonraí bibleagrafaíochta
Údar corparáideach: International Symposium DISCO '96 (1996 : Karlsruhe, Germany)
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Berlin Springer 1996.
Ábhair:
Automatic theorem proving > Congresses.
Mathematics > Data processing > Congresses.
System design > Congresses.