Handbook of logic in computer science /
Άλλοι συγγραφείς: | Abramsky, Samson, 1953- (επιμελητής.), Gabbay, Dov M., 1945- (επιμελητής.), Maibaum, Thomas S. E., 1947- (επιμελητής.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Oxford :
Clarendon Press,
1992-2000.
|
Θέματα: |
Παρόμοια τεκμήρια
-
Logic in computer science : modelling and reasoning about systems /
ανά: Huth, Michael, 1962-
Έκδοση: (2004) -
The logic of partial information
ανά: Nait Abdallah, Areski 1950-
Έκδοση: (1995) -
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)