Proof Transformation by CERES.

Matthias Baaz Stefan Hetzl Alexander Leitsch Clemens Richter Hendrik Spohr

Published in: MKM (2006)

Keyphrases

linear logic
automated theorem proving
theorem prover
database
artificial intelligence
high level
object recognition
information technology