logo
Pealkiri
21st International Conference on Types for Proofs and Programs, TYPES 2015 [Võrguteavik] : Tallinn, Estonia, 18-21 May 2015 : abstracts / [edited by Tarmo Uustalu ; cover design by Aive Kalmus]
Ilmumisandmed
Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2015
ISBN
9789949430871 (pdf)
Faili tüübi märkus
Võrguteavik (7,28 MB, 90 lk.)
Märkus
Bibliograafia artiklite lõpus. - Sisaldab registrit
Ilmunud trükisena: Tallinn : Tallinna Tehnikaülikooli küberneetika instituut, 2015. 978-9949-430-86-4
Märksõnad
arvutiteadus; intellektitehnika; loogiline programmeerimine; tõestuste teooria; tüübiteooria; konverentsikogumikud; teesid; e-raamatud
Teised autorid
Uustalu, Tarmo, 1969-, toimetaja
Kalmus, Aive, kujundaja
Kollektiivautorid
International Conference on Types for Proofs and Programs (21: 2015 : Tallinn)
UDK
004.83 (063) (0.034)
004.891 (063) (0.034)
004.421.2 :510.6 (063) (0.034)
510.6 (063) (0.034)
Variantpealkiri
TYPES 2015
Teine kandja
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts. 9789949430864