Logic for computer science Foundations of automatic theorem proving
Τύπος υλικού:
ΚείμενοΓλώσσα: Αγγλικά Σειρά: Harper & Row Computer Science and Technology SeriesΛεπτομέρειες δημοσίευσης: New York John Wiley & Sons c1987Περιγραφή: xv, 511p. figΘέμα(τα):
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|---|
![Book [21]](https://library.upatras.gr/nereus/nereus-book-yes.png "Book [21]")
Book [21]
|
ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 GAL (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000285272 | |
|
Book [21]
|
ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 GAL (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000285273 |
Βιβλιογραφία: σσ.489-493 περιέχει προβλήματα Να μην δανείζεται κανένα αντίτυπο μόνο για επιτόπια χρήση
