Sciweavers

PPDP
2000
Springer

Justifying proofs using memo tables

15 years 10 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)