How to Believe a Machine-Checked Proof

How to Believe a Machine-Checked Proof (1997)

by Robert Pollack

Citations:

20 - 1 self

Datum	Value	Source
TITLE	BRICS Basic Research in Computer Science How to Believe a Machine-Checked Proof	SVM HeaderParse 0.1
AUTHOR NAME	Robert Pollack	SVM HeaderParse 0.1
AUTHOR AFFIL	; BRICS,; Computer Science Dept., Aarhus University	SVM HeaderParse 0.2
AUTHOR ADDR	; DK-8000 Aarhus C, Denmark	SVM HeaderParse 0.2
AUTHOR NAME	Robert Pollack	SVM HeaderParse 0.1
AUTHOR AFFIL	; BRICS,; Computer Science Dept., Aarhus University	SVM HeaderParse 0.2
AUTHOR ADDR	; DK-8000 Aarhus C, Denmark	SVM HeaderParse 0.2
ABSTRACT	is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS	SVM HeaderParse 0.1
CITATIONS	46 found	ParsCit 1.0