Year of Publication 2024

by Kohlhase, Michael, Schaefer, Jan Frederik
Published in Electronic proceedings in theoretical computer science (12.10.2019)

by Kohlhase, Michael, Johansson, Moa, Miller, Bruce, de Moura, Leonardo, Tompa, Frank
Year of Publication 2016

by Kohlhase, Michael, Rabe, Florian
Published in Journal of Formalized Reasoning (01.01.2016)

by Kohlhase, Andrea, Kohlhase, Michael
Published in Towards Mechanized Mathematical Assistants

by Kohlhase, Michael, Matican, Bogdan A., Prodescu, Corneliu-Claudiu
Published in Intelligent Computer Mathematics

by Rabe, Florian, Kohlhase, Michael
Published in Information and computation (01.09.2013)

by Kohlhase, Michael
Published in Intelligent Computer Mathematics

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

by Freksa, C, Kohlhase, Michael, Schill, Kerstin
Year of Publication 2007

by Kohlhase, Michael, Rabe, Florian
Published in Journal of automated reasoning (01.12.2021)

by Jeuring, Johan, Campbell, John, Carette, Jacques, Dos Reis, Gabriel, Sojka, Petr, Wenzel, Makarius, Sorge, Volker
Year of Publication 2012

by Kohlhase, Michael
Year of Publication 2006

by Kohlhase, Michael, Müller, Dennis, Owre, Sam, Rabe, Florian
Published in Interactive Theorem Proving

by Kohlhase, Michael, Sperber, Wolfram
Published in Intelligent Computer Mathematics (01.01.2017)

by KOHLHASE, Michael, SUCAN, Loan
Published in Lecture notes in computer science (2006)

by Carette, Jacques, Farmer, William M., Kohlhase, Michael, Rabe, Florian
Published in The Mathematical intelligencer (01.03.2021)

by Carette, Jacques, Farmer, William M., Kohlhase, Michael
Published in Intelligent Computer Mathematics

by Iancu, Mihnea, Kohlhase, Michael, Rabe, Florian, Urban, Josef
Published in Journal of automated reasoning (01.02.2013)

by Kohlhase, Michael, Müller, Dennis
Published in Intelligent Computer Mathematics