The resolution calculus / A. Leitsch.
Τύπος υλικού: ΚείμενοΣειρά: Texts in theoretical computer scienceΛεπτομέρειες δημοσίευσης: Berlin : Springer, 1997.Περιγραφή: viii, 300 σ. ; 25 εκISBN:- 3540618821
- 005.131 23
Ελλιπή περιεχόμενα:
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.131 LEI (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000044232 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | 005.131 LEI (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000284147 |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.