Sciweavers

Share
CADE
1999
Springer

Extensional Higher-Order Paramodulation and RUE-Resolution

10 years 2 months ago
Extensional Higher-Order Paramodulation and RUE-Resolution
Christoph Benzmüller
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CADE
Authors Christoph Benzmüller
Comments (0)
books