Поиск :
Личный кабинет :
Электронный каталог: Crole, Roy - Categories for Types
Crole, Roy - Categories for Types
Доступно
1 из 1
1 из 1
Книга
Автор: Crole, Roy
Categories for Types
Издательство: Cambridge Univ. Press, 1993 г.
ISBN 0-521-45092-6
Автор: Crole, Roy
Categories for Types
Издательство: Cambridge Univ. Press, 1993 г.
ISBN 0-521-45092-6
Заказать 
На полку
Книга
C171 C-90
Crole, Roy.
Categories for Types / Roy Crole. – Cambridge : Cambridge Univ. Press, 1993. – XVII, 335 p. – Bibliogr.: p. 315-319. – ISBN 0-521-45092-6.
C171
Индексный (книги) = С 171 - Математическая кибернетика
Ключевых слов = functional type theory
Ключевых слов = algebraic type theory
C171 C-90
Crole, Roy.
Categories for Types / Roy Crole. – Cambridge : Cambridge Univ. Press, 1993. – XVII, 335 p. – Bibliogr.: p. 315-319. – ISBN 0-521-45092-6.
C171
Индексный (книги) = С 171 - Математическая кибернетика
Ключевых слов = functional type theory
Ключевых слов = algebraic type theory
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 0 | 1 | 1 | 1 | Заказать |