G. Passmore
发表
Paul B. Jackson,
G. Passmore,
2009
.
Leonardo Mendonça de Moura,
Grant Olney Passmore,
L. D. Moura,
2013,
CADE.
Paul B. Jackson,
L. D. Moura,
G. Passmore,
2010
.
G. Passmore,
2007
.
G. Passmore,
2007
.
Lawrence Charles Paulson,
Wenda Li,
G. Passmore,
2015,
ArXiv.
A. Platzer,
Stefan Mitsch,
G. Passmore,
2013
.
Grant Olney Passmore,
G. Passmore,
2011
.
L. D. Moura,
G. Passmore,
2009
.
Y. Gurevich,
G. Passmore,
2012,
Studia Logica.
G. Passmore,
E. Komendantskaya,
M. Daggitt,
2022,
PPDP.
Yuri Gurevich,
Y. Gurevich,
G. Passmore,
2011,
Stud Logica.
N. Shankar,
S. Owre,
G. Passmore,
2023,
arXiv.org.
Lawrence Charles Paulson,
Wenda Li,
G. Passmore,
2015,
Journal of automated reasoning.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2014,
Math. Comput. Sci..
Lawrence C. Paulson,
Leonardo Mendonça de Moura,
Grant Olney Passmore,
2012,
AISC/MKM/Calculemus.
Paul B. Jackson,
Grant Olney Passmore,
G. Passmore,
2012,
CiE.
Paul B. Jackson,
Grant Olney Passmore,
G. Passmore,
2011
.
Grant Olney Passmore,
Denis Ignatovich,
G. Passmore,
2017,
CADE.
Leonardo Mendonça de Moura,
Grant Olney Passmore,
L. D. Moura,
2013,
Automated Reasoning and Mathematics.
Leonardo Mendonça de Moura,
Grant Olney Passmore,
L. D. Moura,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Grant Olney Passmore,
G. Passmore,
Leonardo de Moura,
2009,
SMT '09.
Paul B. Jackson,
Leonardo Mendonça de Moura,
Grant Olney Passmore,
2010,
Decision Procedures in Software, Hardware and Bioware.
L. D. Moura,
G. Passmore,
M Bonacina,
2013,
Automated Reasoning and Mathematics.