Logic for computer science Steve Reeves, Michael Clarke
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Wokingham Addison-Wesley Publishing Company 1990Περιγραφή: xi, 260 p. fig. 24 cmISBN:- 0201416433
- 004.015 113
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 004.015 133 REE (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000026059 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 004.015 113 REE (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000120037 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 004.015 113 REE (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Διαθέσιμο | 025000117690 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 004.015 113 REE (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 4 | Διαθέσιμο | 025000049431 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
004.015 113 M Category theory and computer science | 004.015 113 REE Logic for computer science | 004.015 113 REE Logic for computer science | 004.015 113 REE Logic for computer science | 004.015 113 SCH Gems of theoretical computer science / | 004.015 113 T Models of computation and formal languages | 004.015 118 ESA Algorithms - ESA '95 : |
Includes solutions, references and index