C. Brown
发表
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2008
.
C. Brown,
Mikoláš Janota,
2022
.
C. Kaliszyk,
J. Urban,
Thibault Gauthier,
2022,
FMBC@CAV.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2006
.
M. Kohlhase,
Christoph Benzmüller,
C. Brown,
2007
.
Qingxiang Wang,
Cezary Kaliszyk,
Josef Urban,
2019,
CPP.
Peter B. Andrews,
Peter B. Andrews,
Chad E. Brown,
2006,
J. Appl. Log..
Josef Urban,
Chad E. Brown,
Zsolt Zombori,
2020,
IJCAR.
Josef Urban,
Chad E. Brown,
Zsolt Zombori,
2020
.
Cezary Kaliszyk,
Josef Urban,
Chad E. Brown,
2019,
ArXiv.
Chad E. Brown,
C. Brown,
2015,
Journal of Automated Reasoning.
Chad E. Brown,
Christine Rizkallah,
C. Rizkallah,
2013,
PxTP@CADE.
Chad Edward Brown,
C. Brown,
2006
.
Gert Smolka,
Chad E. Brown,
G. Smolka,
2009,
TABLEAUX.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2004,
Journal of Symbolic Logic.
Chad E. Brown,
Pierre Pradic,
C. Brown,
2019,
ArXiv.
Gert Smolka,
Chad E. Brown,
G. Smolka,
2009,
TPHOLs.
Chad E. Brown,
C. Brown,
2006,
MKM.
Chad E. Brown,
C. Brown,
2012,
IJCAR.
Gert Smolka,
Chad E. Brown,
G. Smolka,
2010,
Log. Methods Comput. Sci..
Karol Pak,
Chad E. Brown,
C. Brown,
2019,
CICM.
Cezary Kaliszyk,
Karol Pak,
Chad E. Brown,
2019,
ITP.
Gert Smolka,
Chad E. Brown,
G. Smolka,
2009
.
C. Brown,
2014
.
Geoff Sutcliffe,
Christoph Benzmüller,
Chad E. Brown,
2009,
CADE.
C. Brown,
2011
.
Chad E. Brown,
Julian Backes,
C. Brown,
2010,
Journal of Automated Reasoning.
C. Brown,
Mikoláš Janota,
2021,
SMT.