 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Cioni-Colagrossi-Temperini/96" |
|
An approach to class reasoning in symbolic computation
Gianna Cioni, Attilio Colagrossi, Marco Temperini
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO'96 (Karlsruhe, Germany, September 18-20, 1996)
Lecture Notes in Computer Science
1128
, 1996, pp. 240-251
| Editors | Jacques Calmet, Carla Limongelli | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore | |
|
|
|
|