Εξώφυλλο από Amazon.com
Logical environments / edited by Gérard Huet, Gordon Plotkin.
Τύπος υλικού:
ΚείμενοΛεπτομέρειες δημοσίευσης: Cambridge ; New York, NY, USA : Cambridge University Press, 1993.Περιγραφή: xiii, 338 σ. : εικ. ; 24 εκISBN: - 0521433126
- 004.015 113 23
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|
![Book [21]](https://library.upatras.gr/nereus/nereus-book-yes.png "Book [21]")
Book [21]
|
ΒΚΠ - Πατρα Βασική Συλλογή | 004.015 113 HUE (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000284140 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
| Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη |
|
|
|
|
|
||
| 004.015 1 ΜΗΤ Θεωρία υπολογιστικών μηχανών | 004.015 1 ΜΠΟ Μαθηματικά και πληροφορική / | 004.015 11 HEI Discrete structures, logic and computability | 004.015 113 HUE Logical environments / | 004.015 113 M Category theory and computer science | 004.015 113 REE Logic for computer science | 004.015 113 REE Logic for computer science |
Περιλαμβάνει βιβλιογραφικές παραπομπές.
