Εξώφυλλο από Amazon.com
A Modern Perspective on Type Theory [electronic resource] From its Origins until Today by Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Τύπος υλικού:
ΚιτΓλώσσα: Αγγλικά Σειρά: Applied Logic Series ; 29Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science + Business Media, Inc. 2005Περιγραφή: v.: digitalISBN: - 9781402023354
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|
Electronic Resource
|
ΒΚΠ - Πατρα | Διαθέσιμο |
