Automated theorem proving : after 25 years
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Providence, R.I. :
American Mathematical Society,
c1984.
|
| Σειρά: | Contemporary mathematics (American Mathematical Society) ;
29 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περιγραφή τεκμηρίου: | "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983." |
|---|---|
| Φυσική περιγραφή: | ix, 360 σ. ; 26 εκ. |
| Βιβλιογραφία: | Includes bibliographies |
| ISBN: | 082185027X |