[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

>> Google Books

所蔵情報QRコード

[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

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, 1975

形態:

xii, 370 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 37 <BA00009279>

著者名:

ISBN:

9783540074168 [3540074163] (: gw)
9780387074160 [0387074163] (: us)

書誌ID:

BA03113925

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	English or French Includes bibliographies
主題:	Combinatory logic--Congresses; Programming languages (Electronic computers)--Congresses
言語:	英語; フランス語

東工大ブックレビュー

類似資料:

1 電子ブック λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo … Böhm, C., SpringerLink (Online service)	7 図書 Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings SAS, Mycroft, Alan Springer
2 電子ブック λ-Calculus and Computer Science Theory Böhm, Böhm, Corrado, Istituto per le applicazioni del calcolo. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw) International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955- Springer-Verlag
3 図書 Software engineering : COINS III : proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969 (v. 1 ; v. 2) International Symposium on Computer and Information Sciences, Tou, Julius T., 1926- Academic Press	9 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 (: gw ; : us) Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934- Springer-Verlag
4 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris Springer-Verlag	10 図書 CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings (: gw ; : us) Colloquium on Trees in Algebra and Programming, Astesiano, E. (Egidio), 1939-, Böhm, Corrado, 1923- Springer-Verlag
5 図書 Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 (: gw ; : us) International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, … Springer-Verlag	11 図書 Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January … (: pbk) ACM Symposium on Principles of Programming Languages, ACM Special Interest Group for Automata and Computability Theory, … ACM, May be ordered from ACM Order Dept.
6 図書 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall	12 図書 Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings Joint Modular Languages Conference, Boszormenyi, Laszlo, Schojer, Peter Springer

1

2

3

4

5

6

7

8

9

10

11

12