Handbook of practical logic and automated reasoning
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge ; New York :
Cambridge University Press,
2011, c2009
|
| Έκδοση: | 1st ed., Repr. |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/25163 | ||
| 008 | 130128r20092011 eng d | ||
| 020 | |a 978-0-521-89957-4 | ||
| 035 | |l 10113594 | ||
| 040 | |a GR-MY-UA |b gre |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 006.33 |2 (22) | |
| 100 | 1 | |a Harrison, J. |q (John) |d 1966- | |
| 245 | 1 | 0 | |a Handbook of practical logic and automated reasoning / |c John Harrison |
| 250 | |a 1st ed., Repr. | ||
| 260 | |a Cambridge ; New York : |b Cambridge University Press, |c 2011, c2009 | ||
| 300 | |a xix, 681 σ.; |b εικ.; |c 26 εκ. | ||
| 504 | |a Βιβλιογραφία: σ.631-667. Ευρετήριο | ||
| 650 | 0 | 0 | |a Computer logic. |
| 852 | |a INST |b SAMOS |e 20130128 |h 006.33 HAR |p 005300033568 |q 005300033568 |t BK |y 0 | ||
| 901 | |a BIBL3-2013-1 | ||
| 909 | |a Σ |b 177596 | ||
| 922 | |a 3ΕΛΗ |b 201210 |c ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ |d BEST BOOK HUNTERS | ||
| 970 | |a ΚΟΣΙΕΡΗΣ |b ΧΡΗΣΤΟΣ |z 2013/01/28 | ||