Logic in computer science : modelling and reasoning about systems /
Κύριος συγγραφέας: | Huth, Michael, 1962- (συγγραφέας) |
---|---|
Άλλοι συγγραφείς: | Ryan, Mark, 1962- (συγγραφέας) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge :
Cambridge University Press,
c2004.
|
Θέματα: |
Παρόμοια τεκμήρια
-
The logic of partial information
ανά: Nait Abdallah, Areski 1950-
Έκδοση: (1995) -
Handbook of logic in computer science /
Έκδοση: (1992) -
Incomplete information rough set analysis
Έκδοση: (1998) -
Fuzzy clustering models and applications
ανά: Sato, Mika
Έκδοση: (1997) -
Third international conference on logic programming : Imperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
Έκδοση: (1986)