Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Moggi, Eugenio (Επιμελητής έκδοσης), Rosolini, Giuseppe (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer 1997
Σειρά:Lecture notes in computer science 1290
Θέματα:
Περιγραφή
Φυσική περιγραφή:313 p. fig. 24 cm.
Βιβλιογραφία:Includes bibliographical references
ISBN:354063455X