Towards Mechanized Mathematical AssistantsRobert Miner,Manuel Kauers,Manfred Kerber · First published 2008Open the Tome
Towards Mechanized Mathematical AssistantsManuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · First published 2007Open the Tome
Computational Logic CL 2000 00John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey · First published 2000Open the Tome
