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. 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…