Computational Reflection Via Mechanized Logical Deduction

Computational Reflection Via Mechanized Logical Deduction (1993)

by A. Cimatti , P. Traverso

Citations:

3 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Computational Reflection Via Mechanized Logical Deduction	user correction - Legacy Corrections
AUTHOR NAME	A. Cimatti	user correction
AUTHOR NAME	P. Traverso	user correction
ABSTRACT		user correction
YEAR	1993	user correction - Legacy Corrections
CITATIONS	0 found	ParsCit 1.0