Non-triviality Done Proof-Theoretically.

Rohan French Shawn Standefer

Published in: LORI (2017)

Keyphrases

theorem proving
information retrieval
image processing
cooperative
geometry theorem proving
databases
database systems
theorem prover
complete axiomatization