Logic programming operational semantics and proof theory James H. Andrews
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: Distinguished dissertations in computer scienceΛεπτομέρειες δημοσίευσης: [x.τ.] Cambridge University Press 1992Περιγραφή: xi, 104 p. 26 cmISBN:- 0521432197
- 005.115
Ελλιπή περιεχόμενα:
Includes appendix, bibliography and index
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.115 Α (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000026221 |
Includes appendix, bibliography and index