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 SystemCorrections

Datum	Value	Source
TITLE	BRICS Report Series RS-97-18 ISSN 0909-0878 July 1997	user correction - Legacy Corrections
AUTHOR NAME	Copyright Brics Department	user correction - Legacy Corrections
AUTHOR NAME	Robert Pollack	user correction - Legacy Corrections
AUTHOR AFFIL	; BRICS,; Computer Science Dept., Aarhus University	user correction - Legacy Corrections
AUTHOR ADDR	; DK-8000 Aarhus C, Denmark	user correction - Legacy Corrections
AUTHOR NAME	Robert Pollack	user correction - Legacy Corrections
AUTHOR AFFIL	; BRICS,; Computer Science Dept., Aarhus University	user correction - Legacy Corrections
AUTHOR ADDR	; DK-8000 Aarhus C, Denmark	user correction - Legacy Corrections
ABSTRACT	This document in subdirectory RS/97/18/ BRICS, Computer Science Dept., Aarhus University DK-8000 Aarhus C, Denmark 1	user correction - Legacy Corrections
CITATIONS	46 found	ParsCit 1.0