Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991

フォーマット:
図書
責任表示:
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 1992
形態:
339 p. : ill., port. ; 23 cm
著者名:
シリーズ名:
London Mathematical Society lecture note series ; 177 <BA0005393X>
書誌ID:
BA1838976X
ISBN:
9780521427265 [0521427266]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proceedings, 15th Annual IEEE Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
7 図書 Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
2 図書 Proceedings, 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
8 図書 Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic …

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
3 図書 Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
9 図書 Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
4 図書 Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
10 図書 Indexed categories and their applications

Johnstone, P. T., Paré, Robert, 1944-

Springer-Verlag
5 図書 Proceedings : 21th Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
11 図書 Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977

Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Fourman, M. P., 1950-, Mulvey, C. &hellip;

Springer-Verlag
6 図書 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
12 図書 Mathematical aspects of computer science

Symposium in Applied Mathematics, Schwartz, Jacob T., American Mathematical Society

American Mathematical Society