Journal of automated reasoning
Στοιχεία έκδοσης: (1985)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Handbook of automated reasoning
Αποθηκεύτηκε σε:
Άλλοι συγγραφείς: | Robinson, J. A., Voronkov, Andrei, 1959- |
---|---|
Μορφή: | Ηλεκτρονική πηγή |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ;
c2001.
|
Θέματα: | |
Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9780444508133 |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
Journal of automated reasoning
Στοιχεία έκδοσης: (1985) -
Diagrammatic reasoning: congitive and computational perspectives/
Στοιχεία έκδοσης: (1995) -
Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987) -
Deduction Systems /
από: Socher-Ambrosius, Rolf.
Στοιχεία έκδοσης: (1996) -
Commonsense reasoning
από: Mueller, Erik T.
Στοιχεία έκδοσης: (2006)