close
1.

図書
図書
1. [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 (: gw ; : us)
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 37
所蔵情報: loading…
2.

図書
図書
2. CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings (: gw ; : us)
edited by E. Astesiano and C. Böhm
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 112
所蔵情報: loading…
3.

図書
図書
3. Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 (: gw ; : us)
edited by G. Ausiello and C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in computer science ; 62
所蔵情報: loading…