Anthony Bordg
发表
Anthony Bordg,
2015,
1512.04083.
Lawrence Charles Paulson,
Wenda Li,
Anthony Bordg,
2021,
Exp. Math..
Anthony Bordg,
2017,
1712.02652.
Anthony Bordg,
Anthony Bordg,
2017,
Synthese Library.
Anthony Bordg,
Anthony Bordg,
2018
.
Yijun He,
Anthony Bordg,
Hanna Lachnitt,
2020,
Journal of Automated Reasoning.
Yijun He,
Anthony Bordg,
Anthony Bordg,
2019,
ArXiv.
Lawrence C. Paulson,
Wenda Li,
Anthony Bordg,
2021,
Arch. Formal Proofs.
Anthony Bordg,
2017,
1710.02028.
Anthony Bordg,
2021,
The mathematical intelligencer.