Who finds the short proof?

Christoph Benzmüller David Fuenmayor Alexander Steen Geoff Sutcliffe

Published in: Log. J. IGPL (2024)

Keyphrases

information systems
data sets
machine learning
information retrieval
three dimensional
search algorithm
control system
management system
natural deduction
logical rules