Journal of automated reasoning
Στοιχεία έκδοσης: (1985)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Diagrammatic reasoning: congitive and computational perspectives/
Αποθηκεύτηκε σε:
Άλλοι συγγραφείς: | Chandrasekaran, B., Glasgow, Janice,, Narayanan, Hari N. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Cambridge:
AAAI Press / The MIT press,
1995.
|
Ταξινομικός αριθμός: |
006.33 DI |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
Journal of automated reasoning
Στοιχεία έκδοσης: (1985) -
Handbook of automated reasoning
Στοιχεία έκδοσης: (2001) -
Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987) -
Deduction Systems /
από: Socher-Ambrosius, Rolf.
Στοιχεία έκδοσης: (1996) -
Problem-Solving methods in artificial intelligence/
από: Nilsson, Nils J.
Στοιχεία έκδοσης: (1971)