21:0721:07, 13 December 2010diffhist+447
N
User:Thetna123/Christoph Weidenbach
←Created page with 'Christoph Weidenbach is the German Computer Scientist. He is the head of research group [http://www.mpi-inf.mpg.de/departments/rg1/ Automation of Logic] in Max Plan...'
21:0721:07, 13 December 2010diffhist+447
N
User:Thetna123/Christoph Weidenbach
←Created page with 'Christoph Weidenbach is the German Computer Scientist. He is the head of research group [http://www.mpi-inf.mpg.de/departments/rg1/ Automation of Logic] in Max Plan...'