Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Konferenzbericht
Titel:
Lambda-Calculus and Computer Science Theory
:
Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche