Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Homer, S. (Steven) (Συγγραφέας) |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | Centro internazionale matematico estivo |
| Άλλοι συγγραφείς: | Odifreddi, Piergiorgio, 1950- (Επιμελητής έκδοσης) |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Berlin : New York :
Springer-Verlag,
c1990.
|
| Σειρά: | Lecture notes in mathematics (Springer-Verlag)
; 1429 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Logic of computation
Δημοσίευση: (1997) -
Logical foundations of mathematics and computational complexity :
από: Pudlak, Pavel 1952-
Δημοσίευση: (2013) -
Logic colloquium :
Δημοσίευση: (1975) -
Logic Colloquium '90 :
Δημοσίευση: (1993) -
Advances in linear logic
Δημοσίευση: (1995)