Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974

>> Google Books

所蔵情報QRコード

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, 1975

形態:

x, 245 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 25 <BA00009279>

著者名:

ISBN:

9783540071426 [3540071423] (: gw)
9780387071428 [0387071423] (: us)

書誌ID:

BA03594991

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"An A.M.S. symposium within the annual meeting of the American Association for the Advancement of Science." Includes bibliography
主題:	Categories (Mathematics)--Congresses; Control theory--Congresses; Machine theory--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 Manes, E.G., SpringerLink (Online service)	7 図書 Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973 (: Germany ; : U.S.) Sydney Category Theory Seminar, Kelly, G. M., 1930- Springer-Verlag
2 電子ブック Category Theory Applied to Computation and Control Manes SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991 International Summer Category Theory Meeting, Seely, R. A. G. (Robert Andrew George), 1951-, Canadian Mathematical … Published by the American Mathematical Society for the Canadian Mathematical Society
3 図書 Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 (: gw ; : us) International FCT-Conference, Karpiński, Marek, 1948- Springer-Verlag	9 図書 Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 (: gw ; : us) Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristinia), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference … Springer-Verlag
4 図書 Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954- Springer-Verlag	10 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: gw ; : us) Conference on Category Theory and Computer Science, Pitt, David (David H.) Springer-Verlag
5 図書 Applications of category theory to fuzzy subsets Rodabaugh, Stephen Ernest, Klement, E. P. (Erich Peter), Höhle, Ulrich, International Seminar on Fuzzy Set Theory Kluwer Academic Publishers	11 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings (: gw ; : us) Pitt, David (David H.), Conference on Category Theory and Computer Science Springer-Verlag
6 図書 Algebraic theories (:us ; :gw) Manes, Ernest G., 1943- Springer-Verlag	12 図書 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T Springer

1

2

3

4

5

6

7

8

9

10

11

12