Sciweavers

CADE
2006
Springer

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

14 years 11 months ago
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
Allen Van Gelder, Geoff Sutcliffe
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2006
Where CADE
Authors Allen Van Gelder, Geoff Sutcliffe
Comments (0)