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 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
005.115 MAN The temporal logic of reactive and concurrent systems | 005.115 SAN Features and fluents | 005.115 SAN Features and fluents | 005.115 Α Logic programming | 005.115 ΜΗΤ Από τη λογική στο λογικό προγραμματισμό και την Prolog | 005.115 ΜΗΤ Από τη λογική στο λογικό προγραμματισμό και την Prolog | 005.115 ΜΗΤ Από τη λογική στο λογικό προγραμματισμό και την Prolog |
Includes appendix, bibliography and index