Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge :
Cambridge University Press,
1992
|
| Σειρά: | London Mathematical Society lecture note series ;
177 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/9577 | ||
| 008 | 000822s1992 eng d | ||
| 020 | |a 0521427266 | ||
| 035 | |l 10063113 | ||
| 040 | |a GR-MY-UA |b gre |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 004.01 | |
| 111 | 2 | |a LMS Durham Symposium |d (1991) | |
| 245 | 1 | 0 | |a Applications of categories in computer science : |b proceedings of the LMS Symposium, Durham 1991 / |c edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts |
| 260 | |a Cambridge : |b Cambridge University Press, |c 1992 | ||
| 300 | |a 339 p.; |b ill., port.; |c 23 cm. | ||
| 490 | 1 | |a London Mathematical Society lecture note series |v ; 177 | |
| 500 | |a "The London Mathematical Society Symposium on Applications of Categories in Computer Science took place in the Department of Mathematical Sciences at the University of Durham, from 20 to 30 July, 1991"-Pref. | ||
| 504 | |a Includes bibliographical references | ||
| 650 | 0 | 0 | |a Categories (Mathematics) |x Congresses. |
| 650 | 0 | 0 | |a Computer science |x Mathematics |x Congresses. |
| 700 | 1 | |a Fourman, M. P., |d 1950- |e edt | |
| 700 | 1 | |a Johnstone, P. T. |e edt | |
| 700 | 1 | |a Pitts, A. M. |q (Andrew M.) |e edt | |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 177 | |
| 852 | |a INST |b SAMOS |e 20000822 |h 004.01 LON |p 005300018990 |q 005300018990 |t BK |y 0 | ||
| 901 | |a BIBL3-2000-2 | ||
| 922 | |a 3ΕΛΗ |b 200007 |c ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ |d ΠΑΠΑΣΩΤΗΡΙΟΥ | ||
| 950 | |a 116-2000-01-19 | ||
| 970 | |a ΚΟΣΙΕΡΗΣ |b ΧΡΗΣΤΟΣ |z 2000/08/24 | ||