21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
variantpealkiri
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
toimetaja
Uustalu, Tarmo
vastutusandmed
[edited and preface by Tarmo Uustalu]
ilmumiskoht
Tallinn
kirjastus/väljaandja
Institute of Cybernetics at Tallinn University of Technology
ilmumisaasta
2015
leheküljed
vii, 82 p
konverentsi nimetus, aeg
21st International Conference on Types for Proofs and Programs, 18-21 May 2015
konverentsi toimumispaik
Tallinn
leitav
http://www.ester.ee/record=b4473137*est
märksõna
arvutiteadus
intellektitehnika
loogiline programmeerimine
tõestuste teooria
tüübiteooria
vormimärksõna
konverentsikogumikud
teesid
ISBN
978-9949-430-86-4
märkused
Saadaval ka võrguteavikuna
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise