How to Believe a Machine-Checked Proof

How to Believe a Machine-Checked Proof (1997)

by Robert Pollack

Citations:

20 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	How to Believe a Machine-Checked Proof	user correction
AUTHOR NAME	Robert Pollack	user correction
AUTHOR AFFIL	BRICS, Computer Science Dept., Aarhus University	user correction
AUTHOR ADDR	DK-8000 Aarhus C, Denmark	user correction
ABSTRACT		user correction
YEAR	1997	user correction
CITATIONS	46 found	ParsCit 1.0