Seguir
Tõnu Tamme
Tõnu Tamme
lecturer in theoretical informatics, University of Tartu
Dirección de correo verificada de ut.ee
Título
Citado por
Citado por
Año
On logical method for counting Dedekind numbers
M Tombak, A Isotamm, T Tamme
Fundamentals of Computation Theory: 13th International Symposium, FCT 2001 …, 2001
212001
Loogika: mõtlemisest tõestamiseni
T Tamme, T Tammet, R Prank, M Kõiv
Tartu Ülikooli Kirjastus, 1997
61997
Improving email management
T Tamme, U Norbisrath, G Singer, E Vainikko
Proceedings of international conference on advances in information mining …, 2011
32011
A method to compare the complexity of legal acts
T Tamme, L Vohandu, E Task
Second International Workshop on Network Analysis in Law, 105-114, 2014
22014
a Structural and Grammatical analysis of the Estonian constitution
A Rull, T Tamme, L Võhandu
TalTech Journal of European Studies 6 (2), 76-95, 2016
12016
Simplifying Email Management.
T Tamme
Baltic HLT, 230-237, 2012
12012
Streaming Dyadic Boolean Operations
W Dosch, A Stümpel, T Tamme
Fifth International Conference on Information Technology: New Generations …, 2008
2008
Prologi kursus lingvistidele
T Tamme
Loogika
T Tamme, T Tammet, R Prank
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9