 |
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: Author="Bourely, Christophe" |
|
Disc_{Atinf}: A general framework for implementing calculi and strategies
Christophe Bourely, Nicolas Peltier
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. 34-45
| Editors | Jacques Calmet, Carla Limongelli | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore | |
|
|
|
|