Tanel Tammet
发表
Tanel Tammet,
2020,
ArXiv.
Tanel Tammet,
2015
.
Tanel Tammet,
T. Tammet,
1997,
Kurt Gödel Colloquium.
Christian G. Fermüller,
Alexander Leitsch,
Ullrich Hustadt,
2001,
Handbook of Automated Reasoning.
Tanel Tammet,
1991,
Baltic Computer Science.
Tanel Tammet,
1988,
Conference on Computer Logic.
Enar Reilent,
Alar Kuusik,
Tanel Tammet,
2008,
2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems.
Tanel Tammet,
T. Tammet,
1996,
CADE.
Tanel Tammet,
T. Tammet,
2004,
IJCAR.
Christian G. Fermüller,
Alexander Leitsch,
Tanel Tammet,
1993
.
Ago Luberg,
Tanel Tammet,
Priit Järv,
2011,
i-KNOW '11.
Innar Liiv,
Alar Kuusik,
Tuukka Ruotsalo,
2009,
2009 Third International Conference on Advances in Semantic Processing.
Jan M. Smith,
Tanel Tammet,
Jan M. Smith,
1995,
Journal of Logic and Computation.
Tanel Tammet,
2014
.
Dirk Draheim,
Tanel Tammet,
2020,
DEXA.
Tanel Tammet,
2015
.
Enar Reilent,
Tanel Tammet,
Andres Puusepp,
2014
.
Ago Luberg,
Tanel Tammet,
Honghan Wu,
2012,
WIMS '12.
Ago Luberg,
Tanel Tammet,
Priit Järv,
2011,
2011 22nd International Workshop on Database and Expert Systems Applications.
Tanel Tammet,
2019,
CADE.
Jan M. Smith,
Tanel Tammet,
Jan M. Smith,
1995,
TYPES.
Grigori Mints,
Tanel Tammet,
2005,
Journal of Automated Reasoning.
Tanel Tammet,
2018
.
Christian G. Fermüller,
Alexander Leitsch,
Tanel Tammet,
1993
.
Hele-Mai Haav,
Tanel Tammet,
Marko Kääramees,
2006,
DB&IS.
Grigori Mints,
Tanel Tammet,
Vladimir Orevkov,
1996
.
Hele-Mai Haav,
Tanel Tammet,
Marko Kääramees,
2007
.
Tanel Tammet,
T. Tammet,
1994,
CSL.
Tanel Tammet,
2012
.
Tanel Tammet,
T. Tammet,
1994,
Journal of Automated Reasoning.
Tanel Tammet,
Vello Kadarpik,
T. Tammet,
2003,
RuleML.
Tanel Tammet,
2017
.
Ago Luberg,
Tanel Tammet,
Priit Järv,
2012,
ENTER.
Tanel Tammet,
Kalle Tomingas,
Margus Kliimask,
2014,
ADBIS.
Ago Luberg,
Tanel Tammet,
Jakob Pindis,
2020,
WIMS.
Tanel Tammet,
2004,
Journal of Automated Reasoning.
Tanel Tammet,
T. Tammet,
1998,
CADE.
Tanel Tammet,
1992
.
Tanel Tammet,
2018
.
Geoff Sutcliffe,
Tanel Tammet,
Stephan Schulz,
2006,
Int. J. Artif. Intell. Tools.
Tanel Tammet,
Priit Järv,
Marten Tall,
2018,
2018 19th IEEE International Conference on Mobile Data Management (MDM).
Tanel Tammet,
Kalle Tomingas,
Margus Kliimask,
2014,
AIAI Workshops.
Christian G. Fermüller,
Alexander Leitsch,
Tanel Tammet,
1993,
Lecture Notes in Computer Science.
Tanel Tammet,
2015
.
Enar Reilent,
Alar Kuusik,
Tanel Tammet,
2010
.
Tanel Tammet,
2017
.
Michael Granitzer,
Ago Luberg,
Tanel Tammet,
2012,
WIMS '12.
Tanel Tammet,
Priit Järv,
Kalle Tomingas,
2016,
IC3K.
Tanel Tammet,
Priit Järv,
Kalle Tomingas,
2016,
KDIR.
Tanel Tammet,
T. Tammet,
1995,
J. Log. Comput..
Michael Granitzer,
Tanel Tammet,
Karin Schöfegger,
2013,
Comput. Sci. Rev..
Ago Luberg,
Tanel Tammet,
Priit Järv,
2013,
ENTER.
Tanel Tammet,
Stephan Schulz,
Geoffrey Sutcliffe,
2006
.
Tanel Tammet,
1995,
CIKM '95.
Tanel Tammet,
T. Tammet,
2003,
PSSS.
Alar Kuusik,
Tanel Tammet,
Jüri Vain,
2006
.
Ago Luberg,
Tanel Tammet,
Priit Järv,
2011,
ENTER.
Tanel Tammet,
Priit Järv,
Kalle Tomingas,
2014,
ICIS.
Christian G. Fermüller,
Alexander Leitsch,
Tanel Tammet,
1993
.
Ingrid Pappel,
Tanel Tammet,
Richard Dreyling,
2021,
ICEIS.
Dirk Draheim,
Tanel Tammet,
Priit Järv,
2021,
CADE.
Geoff Sutcliffe,
Tanel Tammet,
2021,
2021 IEEE 15th International Conference on Semantic Computing (ICSC).
Dirk Draheim,
Robert Krimmer,
Tanel Tammet,
2021,
Trans. Large Scale Data Knowl. Centered Syst..
Tanel Tammet,
T. Tammet,
1993
.
Tanel Tammet,
T. Tammet,
1994
.