Logic of computation
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | Schwichtenberg, Helmut 1942- (Επιμελητής έκδοσης) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Berlin :
Springer,
1997
|
| Σειρά: | NATO ASI series. Computer and systems sciences ;
; 157; Series F |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Logic and computer science :
από: Homer, S. (Steven)
Δημοσίευση: (1990) -
Logic colloquium :
Δημοσίευση: (1975) -
Handbook of logic in computer science
Δημοσίευση: (1992) -
Logic Colloquium '90 :
Δημοσίευση: (1993) -
Advances in linear logic
Δημοσίευση: (1995)