Mathematical logic for computer science
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Lu, Chung-wan |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Singapors ; Teaneck, NJ. :
World Scientific,
c1989
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Mathematical Logic for Computer Science
από: Ben-Ari, M. 1948-
Δημοσίευση: (1993) -
Logic for mathematics and computer science
από: Burris, Stanley
Δημοσίευση: (1998) -
Handbook of logic in computer science
Δημοσίευση: (1992) -
Logic of computation
Δημοσίευση: (1997) -
Logical foundations of mathematics and computational complexity :
από: Pudlak, Pavel 1952-
Δημοσίευση: (2013)