21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
variantpealkiri
21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
toimetaja
Uustalu, Tarmo
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
leitav
http://doi.org/10.4230/lipics.types.2015.0
http://www.dagstuhl.de/dagpub/978-3-95977-030-9
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
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise