Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Providence, R.I. :
American Mathematical Society,
c1989
|
| Σειρά: | Contemporary mathematics (American Mathematical Society) ;
; 92 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περιγραφή τεκμηρίου: | The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation |
|---|---|
| Φυσική περιγραφή: | x, 382 p.; ill.; 26 cm. |
| Βιβλιογραφία: | Includes bibliographical references |
| ISBN: | 0821851004 |