21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Скачать

Скачано 1449 раз

Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Таллиннского академического университета и библиотеки Тартуского университета

Доступно в сети Национальной библиотеки Эстонии

Открытый доступ предоставляется

PDF

Скачать

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

технические данные

Издатель:
Institute of Cybernetics at Tallinn University of Technology
Год издания:
Язык:
aнглийский
Депозитор:
Eesti Rahvusraamatukogu
Заметка:
http://cs.ioc.ee/types15/abstracts-book/abstracts.pdf
Тип:
книга
Защищены авторским правом
ESTER
b44842685
ISBN
978-9949-430-87-1 (pdf)

Ссылка: http://www.digar.ee/id/nlib-digar:250381

СМОТРИ ТАКЖЕ