Jesse Alama
发表
Jesse Alama,
R. Kahle,
2012
.
Jesse Alama,
2009
.
A. Knoks,
Jesse Alama,
S. Uckelman,
2011,
TABLEAUX.
Jesse Alama,
2013,
1312.4317.
Jesse Alama,
R. Kahle,
2013
.
J. Urban,
P. Rudnicki,
M. Kohlhase,
2011,
Calculemus/MKM.
Jesse Alama,
Hitoshi Omori,
2018,
Studia Logica.
Jesse Alama,
R. Kahle,
2012
.
Jesse Alama,
Jesse Alama,
2013,
Journal of Automated Reasoning.
Jesse Alama,
Edward N. Zalta,
Paul E. Oppenheimer,
2015,
CADE.
Jesse Alama,
Josef Urban,
Evgeni Tsivtsivadze,
2011,
Journal of Automated Reasoning.
Jesse Alama,
Jesse Alama,
2008,
Formaliz. Math..
Jesse Alama,
Jesse Alama,
2007
.
Jesse Alama,
Josef Urban,
Lionel Mamane,
2011,
Calculemus/MKM.
Jesse Alama,
Jesse Alama,
2012,
PAAR@IJCAR.
Jesse Alama,
Jesse Alama,
2014,
ARQNL@IJCAR.
Jesse Alama,
Jesse Alama,
2013,
ArXiv.
A. Knoks,
Jesse Alama,
S. Uckelman,
2013,
Journal of Philosophical Logic.
Jesse Alama,
Sara L. Uckelman,
Aleks Knoks,
2010,
Journal of Philosophical Logic.
Jesse Alama,
Jesse Alama,
2013,
Studia Logica.
Jesse Alama,
Sara L. Uckelman,
Jesse Alama,
2011
.
A. Knoks,
Jesse Alama,
S. Uckelman,
2020
.
Jesse Alama,
Jesse Alama,
2014,
ArXiv.