Sciweavers

70
Voted
CADE
1994
Springer

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

15 years 1 months ago
The Applicability of Logic Program Analysis and Transformation to Theorem Proving
D. Andre de Waal, John P. Gallagher
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where CADE
Authors D. Andre de Waal, John P. Gallagher
Comments (0)