Intensional logics for programming/
Other Authors: | , |
---|---|
Format: | Book |
Language: | English |
Published: |
Oxford [England]:
Clarendon Press: Oxford University Press,
1992
|
Series: | Studies in logic and computation
1 |
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου | QA76.76.I524 1992 | 1 | Προβολή | OPAC |