Handbook of logic in computer science

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Abramsky, Samson 1953- (Επιμελητής έκδοσης), Gabbay, Dov M., 1945- (Επιμελητής έκδοσης), Maibaum, Thomas S. E., 1947- (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: Oxford ; New York : Clarendon Press ; Oxford University Press, 1992-
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Πίνακας περιεχομένων:
  • Τ. 1. Background, mathematical structure
  • τ. 2. Background, computational structure