Investigations into Proof Structures.

Christoph Wernhard Wolfgang Bibel

Published in: CoRR (2023)

Keyphrases

image processing
wide range
theorem prover
data sets
databases
computational complexity
complex structures
complete axiomatization