Two set-based implementations of quotients in type theory
autor
Veltri, Niccolo
vastutusandmed
Niccolò Veltri
allikas
Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
[Tallinn University of Technology Press]
ilmumisaasta
2014
leheküljed
p. 149-152
konverentsi nimetus, aeg
The 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies, December 5-6, 2014
konverentsi toimumispaik
Rakvere
märksõna
küberneetika
matemaatiline loogika
ISBN
978-9949-23-710-4
märkused
Bibliogr.: 12 ref
Teavikus puudub ilmumisaasta
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise