Sign in

LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners.

Max WisniewskiAlexander SteenChristoph Benzmüller
Published in: CICM (2015)
Keyphrases