Automated Reasoning : Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Amsterdam :
North-Holland,
1992.
|
| Σειρά: | IFIP transactions. Computer science and technology ;
A-19 ; A |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Φυσική περιγραφή: | 341 σ. ; 23 εκ. |
|---|---|
| ISBN: | 044489876X |