城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Categories Congresses)
該当件数:14件
Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 / A. Carboni, M.C. Pedicchio, G. Rosolini (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in mathematics ; 1488)
図書
Applications of categorical algebra : [proceedings / edited by Alex Heller]
Providence, R.I. : American Mathematical Society , 1970. - (Proceedings of symposia in pure mathematics ; v. 17)
Categorical algebra and its applications : proceedings of a conference, held in Louvain-la-Neuve, Belgium, July 26-August 1, 1987 / F. Borceux (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in mathematics ; 1348)
Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981 / edited by K.H. Kamps, D. Pumplun, and W. Tholen.
962. - Berlin : Springer , 1982. - (Lecture notes in mathematics ; 962)
Reports of the Midwest category seminar IV / {by} H. Applegate {and others} Edited by S. MacLane.
137. - Berlin : Springer , 1970. - (Lecture notes in mathematics ; 137)
Reports of the Midwest Category Seminar V / {by} M. Andre {et al.} Edited by J. W. Gray and S. Mac Lane.
195. - Berlin : Springer , 1971. - (Lecture notes in mathematics ; 195)
Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 / edited by E. Binz and H. Herrlich.
540. - Berlin : Springer , 1976. - (Lecture notes in mathematics ; 540)
Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978 / edited by H. Herrlich and G. Preuss.
719. - Berlin : Springer , 1979. - (Lecture notes in mathematics ; 719)
Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973 / edited by Gregory M. Kelly.
420. - Berlin : Springer , 1974. - (Lecture notes in mathematics ; 420)
Applications of categorical algebra : [proceedings / Edited by Alex Heller]
Providence, R.I : American Mathematical Society , 1970. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 17)
電子ブック
Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981 / edited by B. Banaschewski.
915. - Berlin : Springer , 1982. - (Lecture notes in mathematics ; 915)
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja.
v. 112. - Amsterdam : North-Holland , 1984. - New York : Elsevier Science Pub. Co. , 1984. - (Studies in logic and the foundations of mathematics ; v. 112)
Toposes, algebraic geometry and logic / {by} I. Bucur {and others} Edited by F. W. Lawvere.
274. - Berlin : Springer , 1972. - (Lecture notes in mathematics ; 274)
Mathematical foundations of quantum field theory and perturbative string theory / Hisham Sati, Urs Schreiber, editors
Providence, R.I. : American Mathematical Society , c2011. - (Proceedings of symposia in pure mathematics ; v. 83)