 |
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  [1]
|
Hilfe 
|
 |
|
| Suche: Author="Girard, N." |
|
An interactive, incremental and portable computer algebra system for \lambda-calculus and combinatory logic based on video edition and rewriting techniques
N. Girard
Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)
Lecture Notes in Computer Science
247
, 1987, pp. 474
| Editors | F.J. Brandenburg, G. Vidal-Naquet, M. Wirsing | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
| Organization: | GI, afcet | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=47 | |
|
|
|
|