Categories, types, and structures: An introduction to category theory for computer scientists

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Asperti, Andrea, Longo, Giuseppe
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: 2010
Θέματα:
Διαθέσιμο Online:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt