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 |
Θέματα: |
Παρόμοια τεκμήρια
-
Mathematical logic for computer science
ανά: Mordechai, Ben-Ari
Έκδοση: (2001) -
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Έκδοση: (1997) -
Logic and discrete mathematics a computer science perspective
ανά: Grassmann, Winfried Karl
Έκδοση: (1996) -
Handbook of logic in computer science /
Έκδοση: (1992) -
Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2012)