The computer modelling of mathematical reasonic
Κύριος συγγραφέας: | Bundy, lan (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London
Academic Press
1983
|
Θέματα: |
Παρόμοια τεκμήρια
-
Qualitative reasoning about physical systems / edited by Daniel G. Bobrow.
Έκδοση: (1984) -
Model checking and artificial intelligence /
Έκδοση: (2008) -
Computational intelligence an introduction
ανά: Engelbrecht, Andries P.
Έκδοση: (2002) -
Computational intelligence a logical approach
ανά: Poole, David
Έκδοση: (1998) -
Reasoning about change Time and causation from the standpoint of artificial intelligence
ανά: Shoham, Yoav
Έκδοση: (1988)