pealkiri
21st International Conference on Types for Proofs and Programs TYPES 2015 : Tallinn, Estonia, 18–21 May 2015 : Abstracts
märksõnad
computer science
artificial intelligence
logical programming
proof theory
type theory
conference proceedings
arvutiteadus
tehisintellekt
loogiline programmeerimine
tõestuste teooria
tüübiteooria
konverentsikogumikud
väljaandja
Institute of Cybernetics at Tallinn University of Technology
ilmumisaasta
2015
koostaja
Uustalu, Tarmo
identifikaator
https://digikogu.taltech.ee/et/Item/86dad8ce-b94e-4413-8ffc-73c9a445c591
https://doi.org/10.23658/taltech.types/2015
ISBN 9789949430871 (pdf)
keel
eng
õigused
http://rightsstatements.org/vocab/InC/1.0/
asutus
Institute of Cybernetics at Tallinn University of Technology