Sciweavers

PPDP
2000
Springer

Justifying proofs using memo tables

14 years 27 days ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where PPDP
Authors Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan
Comments (0)