[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

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 37 <BA00009279>

ISBN:

9783540074168 [3540074163] (: gw)

9780387074160 [0387074163] (: us)

注記:

English or French
Includes bibliographies

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Combinatory logic--Congresses; Programming languages (Electronic computers)--Congresses
分類・件名:	NDC7 : 549.48 LCSH : Combinatory logic -- Congresses LCSH : Programming languages (Electronic computers) -- Congresses
LCCN:	75033375
TTLL:	mul
言語:	英語; フランス語
形態:	xii, 370 p. : ill. ; 25 cm
書誌ID:	BA03113925

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

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) Springer Berlin Heidelberg : Imprint: Springer	7 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of … European Symposium on Programming, Hankin, Chris Springer-Verlag
2 電子ブック λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975 Böhm, C., SpringerLink (Online service) Springer-Verlag	8 図書 Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, … Springer-Verlag
3 図書 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall	9 図書 ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings European Symposium on Programming, Ganzinger, Harald, 1950-, Colloquium on Trees in Algebra and Programming Springer-Verlag
4 図書 Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings SAS, Mycroft, Alan Springer	10 図書 International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 International Symposium on Theoretical Programming, Ershov, Andreĭ Petrovich, 1931-, Nepomni︠a︡shchiĭ, Valeriĭ … Springer-Verlag
5 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934- Springer-Verlag	11 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse Springer
6 図書 Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Swierstra, S. Doaitse Springer	12 図書 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 Symposium on Language Design and Programming Methodology, Tobias, Jeffrey M., 1953-, Australian Atomic Energy … Springer-Verlag