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

Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

種類:
図書
責任表示:
D.H. Pitt ... [et al.], (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1991
著者名:
シリーズ名:
Lecture notes in computer science ; 530 <BA00009279>
ISBN:
9783540544951 [354054495X] (: Berlin)  CiNii Books  Calil
9780387544953 [038754495X] (: New York)  CiNii Books  Calil
注記:
Papers presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, Sept. 3-6, 1991
Includes bibliographical references
所蔵情報
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

Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T

Springer
7 図書 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
2 図書 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
8 電子ブック 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
3 電子ブック Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings

Pitt, David H., Curien, Pierre-Louis, Abramsky, Samson, Pitts, Andrew M., Poigné, Axel, Rydeheard, David E., &hellip;

Springer-Verlag
9 電子ブック 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
4 電子ブック Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings

Pitt, David H., Curien, Pierre-Louis., Abramsky, Samson., Pitts, Andrew., Poigne, Axel., Rydeheard, David E., &hellip;

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service)

Springer-Verlag
5 図書 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
11 電子ブック Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings

Pitt, David H., Rydeheard, David E., Dybjer, Peter., Pitts, Andrew., Poigne, Axel., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979

Symposium on Mathematical Foundations of Computer Science, Bečvář, J., 1926-

Springer-Verlag
12 図書 Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977

International FCT-Conference, Karpiński, Marek, 1948-

Springer-Verlag