People
Leonardo de Moura
—monthly views
0copies owned
—player watchlists
Wiki Binder · Facet
Herbrand Award
32 cards · 24 shown here
People
Martin Davis (mathematician)
—monthly views
0copies owned
—player watchlists
People
Moshe Vardi
—monthly views
0copies owned
—player watchlists
People
Gérard Huet
—monthly views
0copies owned
—player watchlists
People
Lawrence Paulson
—monthly views
0copies owned
—player watchlists
People
Edmund M. Clarke
—monthly views
0copies owned
—player watchlists
People
Bruno Buchberger
—monthly views
0copies owned
—player watchlists
People
Wu Wenjun
—monthly views
0copies owned
—player watchlists
People
Zohar Manna
—monthly views
0copies owned
—player watchlists
People
J Strother Moore
—monthly views
0copies owned
—player watchlists
People
Robert S. Boyer
—monthly views
0copies owned
—player watchlists
People
Alan Bundy
—monthly views
0copies owned
—player watchlists
People
Woody Bledsoe
—monthly views
0copies owned
—player watchlists
People
Melvin Fitting
—monthly views
0copies owned
—player watchlists
People
Nachum Dershowitz
—monthly views
0copies owned
—player watchlists
People
John Alan Robinson
—monthly views
0copies owned
—player watchlists
People
Tobias Nipkow
—monthly views
0copies owned
—player watchlists
People
Peter B. Andrews
—monthly views
0copies owned
—player watchlists
People
Robert L. Constable
—monthly views
0copies owned
—player watchlists
People
Deepak Kapur
—monthly views
0copies owned
—player watchlists
People
Natarajan Shankar
—monthly views
0copies owned
—player watchlists
People
Andrei Voronkov (computer scientist)
—monthly views
0copies owned
—player watchlists
People
Richard Waldinger
—monthly views
0copies owned
—player watchlists
People
Franz Baader
—monthly views
0copies owned
—player watchlists
Collect every card of this facet.
Start collecting