Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Laan, Twan
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Laan, Twan
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Laan, Twan
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
A Modern Perspective on Type Theory From its Origins until Today /
ανά
Kamareddine, Fairouz
,
Laan
,
Twan
,
Nederpelt, Rob
Έκδοση 2005
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
A Modern Perspective on Type Theory From its Origins until Today
ανά
Kamareddine, Fairouz
Έκδοση 2005
Άλλοι συγγραφείς:
“…
Laan
,
Twan
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer science
Logic
Mathematics
Mathematics of Computing
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematical logic
Λογική, Συμβολική και μαθηματική
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών