λ-Calculus and Computer Science Theory | 金沢大学附属図書館 OPAC plus

>> Google Books

λ-Calculus and Computer Science Theory

フォーマット:

電子ブック

責任表示:

Böhm ; Böhm, Corrado

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1975

著者名:

ISBN:

9783540074168 [3540074163]

9783540379447 [3540379444]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

Affiliation:	Istituto per le applicazioni del calcolo.
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000229761
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Quantum Theory Bohm, David Dover Publications	7 電子ブック Proof Theory in Computer Science PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F. Springer Berlin Heidelberg
2 電子ブック Category Theory and Computer Science Pitt Springer Berlin Heidelberg	8 電子ブック The Invariant Theory of Matrices Corrado De Concini, Claudio Procesi American Mathematical Society
3 電子ブック Category Theory and Computer Science Pitt Springer Berlin Heidelberg	9 図書 Quantum theory Bohm, David, 1917- Prentice-Hall, Maruzen
4 電子ブック Category Theory and Computer Science Pitt Springer Berlin Heidelberg	10 電子ブック λ-Rings and the Representation Theory of the Symmetric Group Knutson Springer Berlin Heidelberg
5 電子ブック Category Theory and Computer Science Pitt, Johnstone, P. T., Pitt, David H., Rydeheard, David E. Springer Berlin Heidelberg	11 図書 The economics of environmental protection : theory and demand revelation Bohm, Peter, 1935- E. Elgar
6 電子ブック Category Theory and Computer Science Eugenio Moggi, Moggi, Eugenio, Rosolini, Giuseppe Springer Berlin Heidelberg	12 図書 Limits of graphs in group theory and computer science Arzhantseva, Goulnara, Valette, Alain CRC Press, EPFL Press