Type Theory
Автор: Lambert M. Surhone
Издательство:
Год издания: 2010
Страниц: 116
ISBN: 9786130317805
Аннотация:
High Quality Content by WIKIPEDIA articles! In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language t
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Type Theory" (Lambert M. Surhone) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |