Sciweavers

58
Voted
PPDP
2000
Springer

Justifying proofs using memo tables

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