Sistema demostrativo de razonamiento automático basado en resolución /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Thesis Βιβλίο |
| Γλώσσα: | Ισπανικά |
| Έκδοση: |
Guadalajara, México :
edición de autor,
1995
|
| Θέματα: | |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Ταξινομικός Αριθμός: |
ISC. 127
|
||
|---|---|---|---|
| Ejemplar T029430100 |
Disponible
Préstamo 7 días a 90
|
Συλλογή:
Tesis del ITESO impresas
|
Σημειώσεις:
Solicitar cita para préstamo a biblioteca@iteso.mx
|