Home
People
People on the agenda
New added biographies
Most Read biographies
Born today People
Died today People
Advanced Search
Contact
Automated Reasoning
People (First 11 people) - Page 0
Maria Paola Bonacina
Researcher
Manfred Kerber
Predrag Janičić
Serbian mathematician
Leonardo de Moura
Computer scientist
Andrei Voronkov
Russian volleyball player
Tudor Jebelean
Author
Clark Barrett
Computer science researcher
Rajeev Goré
Christian Szegedy
Researcher
Bruno Buchberger
Professor of mathematics
Pascal Fontaine
Author