by Brown, Chad E.
Published in Journal of automated reasoning (01.06.2013)

by Brown, Chad E.
Published in Automated Reasoning (2006)

by Brown, Chad E.
Published in Lecture notes in computer science (2006)

by Brown, Chad E., Smolka, Gert
Published in Logical methods in computer science (23.06.2010)

by Andrews, Peter B., Brown, Chad E.
Published in Journal of applied logic (01.12.2006)

by Benzmueller, Christoph, Brown, Chad E., Kohlhase, Michael
Published in Logical methods in computer science (03.03.2009)

by Benzmüller, Christoph E., Brown, Chad E., Kohlhase, Michael
Published in Automated Reasoning (2006)

by Benzmüller, Christoph E., Brown, Chad E.
Published in Lecture notes in computer science (2005)

by Brown, Chad E.
Published in Journal of automated reasoning (01.10.2015)

by Andrews, Peter B, Brown, Chad E, Pfenning, Frank, Bishop, Matthew, Issar, Sunil, Xi, Hongwei
Published in Journal of automated reasoning (01.01.2004)

by Brown, Chad E., Pąk, Karol
Published in Formalized mathematics (01.12.2019)

by BROWN, Chad E
Published in Journal of automated reasoning (2013)

by Brown, Chad E., Urban, Josef
Published in Intelligent Computer Mathematics

by Brown, Chad E.
Published in Automated Reasoning

by Brown, Chad E., Pąk, Karol
Published in Intelligent Computer Mathematics (2019)

by Gauthier, Thibault, Brown, Chad E
Year of Publication 02.04.2024

by Ranalter, Daniel, Brown, Chad E, Kaliszyk, Cezary
Year of Publication 11.10.2024

by Brown, Chad E, Janota, Mikoláš, Olšák, Mirek
Year of Publication 18.04.2024

by Brown, Chad E, Kaliszyk, Cezary
Year of Publication 13.05.2022

by Backes, Julian, Brown, Chad E.
Published in Automated Reasoning