Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Ισπανικά |
| Έκδοση: |
Cuernavaca
Alfaomega
2010
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Biblioteca Mayor de Ingeniería -
| Ταξινομικός Αριθμός: |
511.3 LED 2010 |
|---|---|
| Αντίγραφο 4932684 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4932676 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4932668 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 493265K | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4932641 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4925564 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4925556 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4925548 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 492553K | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4925521 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4925513 | Στη βιβλιοθήκη Κάντε κράτηση |
| Αντίγραφο 4925505 | Στη βιβλιοθήκη Κάντε κράτηση |