bibliographer - Martin Davis

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

A machine program for theorem-proving Martin Davis George Logemann Donald Loveland [github]

Influences of Mathematical Logic on Computer Science Martin Davis [github]

A Computing Procedure for Quantification Theory Martin Davis Hilary Putnam [github]

The Decision Problem for Exponential Diophantine Equations Martin Davis Hilary Putnam Julia Robinson [github]

Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929-1936 Martin Davis [github]

Hilberttextquotesingles Tenth Problem is Unsolvable Martin Davis [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]