Pages that link to "Q1239172"
Jump to navigation
Jump to search
The following pages link to Martin Davis (Q1239172):
Displayed 35 items.
- Alonzo Church (Q92741) (← links)
- Chauvenet Prize (Q1068479) (← links)
- Davis–Putnam algorithm (Q1177898) (← links)
- Menace II Society (Q1542944) (← links)
- DPLL algorithm (Q2030088) (← links)
- Donald W. Loveland (Q5295258) (← links)
- A machine program for theorem-proving (Q29399031) (← links)
- Computability & unsolvability / Martin Davis. - 1958 (Q101836158) (← links)
- The undecidable / ed. Martin Davis. - 1965 (Q101837827) (← links)
- Donald Perlis (Q102157544) (← links)
- Robert Arnold Di Paola (Q102166517) (← links)
- Edward Norman Schwartz (Q102178396) (← links)
- John Denes (Q102188019) (← links)
- Richard Gostanian (Q102188023) (← links)
- Keith Harrow (Q102188027) (← links)
- Barry Jacobs (Q102188029) (← links)
- Richard Marshall Rosenberg (Q102188030) (← links)
- Jean-Pierre Keller (Q102188031) (← links)
- David Linfield (Q102188032) (← links)
- Ronald Fechter (Q102188033) (← links)
- Thomas Emerson (Q102188034) (← links)
- Martin Michael Zuckerman (Q102192396) (← links)
- Eric G. Wagner (Q102193326) (← links)
- Alberto Policriti (Q102332329) (← links)
- Ron Mark Sigal (Q102340930) (← links)
- Eugenio Giovanni Omodeo (Q102358899) (← links)
- The Decision Problem for Exponential Diophantine Equations (Q106474199) (← links)
- Moshe Koppel (Q113837077) (← links)
- On the Theory of Recursive Unsolvability (Q123118568) (← links)
- User:Zuphilip/dblp-persons-list (← links | edit)
- Wikidata:Database reports/Constraint violations/P271 (← links | edit)
- Wikidata:Do not merge/03 (← links | edit)
- Wikidata:Database reports/Constraint violations/P2021 (← links | edit)
- Wikidata:WikiProject Mathematics/Erdős number (← links | edit)
- Wikidata:Database reports/Constraint violations/P11182 (← links | edit)