著者典拠情報

著者標目形：
Böhm, Corrado, 1923-
属性：
Personal
日付：
1923-
から見よ参照形：
Böhm, C., 1923-
注記：
Calculus and computer science ... 1975
著者典拠ID：
DA01871576


1.

図書
図書
1. 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
所蔵情報: 図書館
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
所蔵情報: 図書館
3.

図書
図書
3. [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 (: gw ; : us)
edited by C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 37
所蔵情報: 図書館