 |
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="Hill-Clarke-Bornat/94" |
|
The vectorization monad
Jonathan M.D. Hill, Keith M. Clarke, Richard Bornat
Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)
Lecture Note Series in Computing
5
, 1994, pp. 204-213
| Editors | Hoon Hong | |
| Publisher: | World Scientific | |
| Address: | Singapore-New Jersey-London-Hong Kong | |
|
|
|
|