Talk
in
Workshop: KR2ML - Knowledge Representation and Reasoning Meets Machine Learning
Contributed Talk: Towards Finding Longer Proofs
Zsolt Zombori
2019 Talk
Abstract:
Live content is unavailable. Log in and register to view live content