logo
Pealkiri
21st International Conference on Types for Proofs and Programs, TYPES 2015 : 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 ([Tallinn] : Multiprint)
Füüsiline kirjeldus
vii, 82 lk. ; 30 cm
ISBN
9789949430864
Märkus
Bibliograafia artiklite lõpus. - Sisaldab registrit
Täiendav kandja
Ilmunud ka võrguteavikuna (pdf)
Märksõnad
arvutiteadus; intellektitehnika; loogiline programmeerimine; tõestuste teooria; tüübiteooria; konverentsikogumikud; teesid
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)
004.891 (063)
004.421.2 :510.6 (063)
510.6 (063)
Variantpealkiri
TYPES 2015
Teine kandja
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts (võrguteavik). 9789949430871