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)


