>> Google Books
所蔵情報QRコード

Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1997
形態:
313 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1290 <BA00009279>
著者名:
ISBN:
9783540634553 [354063455X]
書誌ID:
BA32290640
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristinia), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference …

Springer-Verlag

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

Springer

Symposium on Mathematical Foundations of Computer Science, Prívara, Igor, Ružička, Peter

Springer

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

Springer-Verlag

International Conference on Theory and Applications of Satisfiability Testing, Giunchiglia, Enrico, Tacchella, Armando

Springer

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

Springer-Verlag

Sydney Category Theory Seminar, Kelly, G. M., 1930-

Springer-Verlag

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

Symposium on Mathematical Foundations of Computer Science, Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz

Springer

Symposium on Mathematical Foundations of Computer Science, Penczek, Wojciech, Szałas, Andrzej, 1958-

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12