>> Amazon.co.jp
このページのQRコード

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

種類:
図書
責任表示:
David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
出版情報:
Berlin ; New York ; Tokyo : Springer, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 953 <BA00009279>
ISBN:
9783540601647 [3540601643]  CiNii Books  Calil
注記:
Includes bibliographical references
"This volume contains papers presented at the Sixth meeting of the Biennial Conference on Category Theory and Computer Science (CTCS)"--Pref
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service)

Springer-Verlag
7 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th [i.e. 7th] International Conference, ALP'98, Pisa, …

International Symposium, PLILP, International Conference on Algebraic and Logic Programming, Palamidessi, Catuscia, &hellip;

Springer
2 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings

Pitt, David., Rydeheard, David E., Johnstone, Peter., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990

Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristina), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference &hellip;

Springer-Verlag
3 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.)

Springer-Verlag
9 図書 Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981

Carleton Conference on Categorical Aspects of Topology and Analysis, Banaschewski, Bernhard

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 図書 Categorical topology : proceedings of the International Conference, Berlin, August 27th to September 2nd, 1978

International Conference on Categorical Topology, Herrlich, Horst, 1937-, Preuss, Gerhard, 1940-

Springer-Verlag
5 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

Pitt, David (David H.), Conference on Category Theory and Computer Science

Springer-Verlag
11 電子ブック Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings

Pitt, David H., Poigné, Axel, Rydeheard, David E., SpringerLink (Online service)

Springer-Verlag
6 図書 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-

Springer-Verlag
12 電子ブック Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings

Pitt, David H., Poigne, Axel., Rydeheard, David E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer