λ-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
Produktform: E-Buch Text Elektronisches Buch in proprietärem