Instituto per le Applicazioni del Calcolo "Mauro Picone" a Böhm, Corrado, ed. [Lambda]-Calculus and Computer Science Theory: proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche. Berlin: Springer, 1975. xii, 370 s. Lecture notes in computer science; 37.
Böhm, C. (1975). [Lambda]-Calculus and Computer Science Theory: Proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche. Berlin ; New York: Springer.
Styl ChicagoBöhm, Corrado. [Lambda]-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975, IAC-CNR Instituto Per Le Applicazioni Del Calcolo "Mauro Picone" of the Consiglio Nazionale Delle Ricerche. Berlin ; New York: Springer, 1975.
Citace podle MLABöhm, Corrado. [Lambda]-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975, IAC-CNR Instituto Per Le Applicazioni Del Calcolo "Mauro Picone" of the Consiglio Nazionale Delle Ricerche. Berlin ; New York: Springer, 1975.
Více o citacích