TalTech publikatsioonid
pealdis Uustalu, T. (ed.).
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood de
keel inglise
toimetaja Uustalu, Tarmo
pealkiri 21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
vastutusandmed Edited by Tarmo Uustalu ; with Preface
ilmumiskoht Saarbrücken/Wadern
kirjastus/väljaandja Dagstuhl Publishing
ilmumisaasta 2018
leheküljed xii, [250] p. : ill
seeria-sari Leibniz international proceedings in informatics (LIPIcs) ; 69
konverentsi nimetus, aeg 21st International Conference on Types for Proofs and Programs, 18-21 May, 2015
konverentsi toimumispaik Tallinn, Estonia
märksõna arvutiteadus
intellektitehnika
loogiline programmeerimine
tõestuste teooria
tüübiteooria
vormimärksõna konverentsikogumikud
võrguväljaanded
ISBN 978-3-95977-030-9
ISSN 1868-8969
märkused Includes bibliogr
url http://doi.org/10.4230/lipics.types.2015.0
http://www.dagstuhl.de/dagpub/978-3-95977-030-9