Computing in Horn Clause Theories
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa ; 16Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988Περιγραφή: xi, 322pISBN:- 540 19427 4
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.10 | Non-fiction | 511.3 PAD (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000284201 |
bibliography:pp.307-316 Εργαστηριο Συνδυαστικων Αλγοριθμων