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] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 GAL (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000285272 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 GAL (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000285273 |
Βιβλιογραφία: σσ.489-493 περιέχει προβλήματα Να μην δανείζεται κανένα αντίτυπο μόνο για επιτόπια χρήση