Εξώφυλλο από Amazon.com
Computability and unsolvability Martin Davis
Τύπος υλικού:
ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Dover Publications 1982Περιγραφή: xxv, 248 p. fig. 19 cmISBN: - 0486614719
- 511.3
Ελλιπή περιεχόμενα:
Includes index, references
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|
![Book [21]](https://library.upatras.gr/nereus/nereus-book-yes.png "Book [21]")
Book [21]
|
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 DAV (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000038252 | |
|
Book [21]
|
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 DAV (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000171279 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
|
|
|
|
|
|
|
||
| 511.3 D Cut elimination in categories | 511.3 D Teaching and learning formal methods | 511.3 D Basic model theory | 511.3 DAV Computability and unsolvability | 511.3 DAV Computability and unsolvability | 511.3 DIM Descriptive complexity and finite models : | 511.3 DOW Parameterized complexity |
Includes index, references
