Evaluation of Systems for Higher-order Logic (ESHOL).

Christoph Benzmüller Florian Rabe Carsten Schürmann Geoff Sutcliffe

Published in: PAAR/ESHOL (2008)

Keyphrases

higher order logic
reasoning systems
higher order