Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
theorem proving competition
Publications
Competitive Proving for Fun
Maximilian Paul Louis Haslbeck
and
Simon Wimmer
In
:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Copyright © 2012-2024 easychair.org. All rights reserved.