21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
variant title
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
editor
Uustalu, Tarmo
statement of authorship
[edited and preface by Tarmo Uustalu]
location of publication
Tallinn
publisher
Institute of Cybernetics at Tallinn University of Technology
year of publication
2015
pages
vii, 82 p
conference name, date
21st International Conference on Types for Proofs and Programs, 18-21 May 2015
conference location
Tallinn
url
http://www.ester.ee/record=b4473137*est
subject term
arvutiteadus
intellektitehnika
loogiline programmeerimine
tõestuste teooria
tüübiteooria
subject of form
konverentsikogumikud
teesid
ISBN
978-9949-430-86-4
notes
Saadaval ka võrguteavikuna
TalTech department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise