Leo Tolstoy | Pope Leo XIII | Leo Gorcey | Leo Burnett | Leo Brouwer | Leo VI the Wise | Leo | Pope Leo X | Leo Durocher | Wadada Leo Smith | Ted Leo | Pope Leo I | Pope Leo IX | Melissa Leo | Leo Carrillo | Ted Leo and the Pharmacists | Leo Castelli | Leo Burnett Worldwide | San Leo | Leo Strauss | Leo Marks | Leo Laporte | Léo Ferré | Leó Szilárd | Leo Slezak | Leo Frobenius | Leo Cárdenas | Pope Leo XII | Leonardo Leo | Leo Fall |
Harald Ganzinger (October 31, 1950, Werneck – June 3, 2004, Saarbrücken) was a German computer scientist that together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.