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

>> Google Books

Category Theory and Computer Science

フォーマット:

電子ブック

責任表示:

Eugenio Moggi ; Moggi, Eugenio ; Rosolini, Giuseppe

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1997

著者名:

ISBN:

9783540634553 [354063455X]

9783540695523 [3540695524]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

その他の標題:	CATEGORY THEORY & COMPUTER SCIENCE
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000234708
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Category Theory Aurelio Carboni, Pedicchio, Maria C., Rosolini, Giuseppe Springer Berlin Heidelberg	7 電子ブック Category Theory and Computer Programming Pitt Springer Berlin Heidelberg
2 電子ブック Category Theory and Computer Science Pitt Springer Berlin Heidelberg	8 電子ブック Categories in computer science and logic Gray, John W., Scedrov, Andre American Mathematical Society
3 電子ブック Category Theory and Computer Science Pitt Springer Berlin Heidelberg	9 電子ブック Proof Theory in Computer Science PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F. Springer Berlin Heidelberg
4 電子ブック Category Theory and Computer Science Pitt Springer Berlin Heidelberg	10 図書 Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991 London Mathematical Society Symposium on Applications of Categories in Computer Science, Fourman, M. P., 1950-, … Cambridge University Press
5 電子ブック Category Theory and Computer Science Pitt, Johnstone, P. T., Pitt, David H., Rydeheard, David E. Springer Berlin Heidelberg	11 電子ブック λ-Calculus and Computer Science Theory Böhm, Böhm, Corrado, Istituto per le applicazioni del calcolo. Springer Berlin Heidelberg
6 図書 Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristinia), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference … Springer-Verlag	12 電子ブック Information Theory in Neuroscience Panzeri, Stefano; Piasini, Eugenio MDPI - Multidisciplinary Digital Publishing Institute