Jump to main content

yr 〜
yr

Search results 2

Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings / CAAP '81 ; edited by E. Astesiano and C. Böhm. (Lecture notes in computer science ; 112)

Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings / CAAP '81 ; edited by E. Astesiano and C. Böhm. (Lecture notes in computer science ; 112)
Paper図書
Springer-Verlag1981.<M159-168>
National Diet Library
  • Author HeadingCAAP '81 (6th : 1981 : Genoa, Italy) Astesiano, E. (Egidio) , 1939- Böhm, C. (Corrado) , 1923-

[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 ; edited by C. Böhm. (Lecture notes in computer science ; 37)

[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 ; edited by C. Böhm. (Lecture notes in computer science ; 37)
Paper図書
Springer-Verlag1975.<MA41-102>
National Diet Library
  • Author HeadingBöhm, C. (Corrado) , 1923- Istituto per le applicazioni ...

Reached to the end of result.

RSS