Computational Reflection Via Mechanized Logical Deduction (1993)

Cached

Download Links

by A. Cimatti , P. Traverso
Citations:3 - 0 self

Document Versions

Computational Reflection Via Mechanized Logical Deduction –A. Cimatti, P. Traverso — 1993
Computational Reflection via Mechanized Logical Deduction –Alessandro Cimatti, Ro Cimatti, Paolo Traverso, Massimo Benerecetti, Paolo Pecchiari — 1996 — International Journal of Intelligent Systems