Sciweavers

Share
CADE
2008
Springer

Evaluation of Systems for Higher-order Logic (ESHOL)

9 years 2 months ago
Evaluation of Systems for Higher-order Logic (ESHOL)
Christoph Benzmüller, Florian Rabe, Carsten S
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
Comments (0)
books