Handsome proof-nets: perfect matchings and cographs.

Christian Retoré

Published in: Theor. Comput. Sci. (2003)

Keyphrases

theorem proving
theorem prover
neural network
machine learning
natural deduction
three dimensional
multiresolution
mathematical proofs
maximum cardinality
automated theorem proving
linear logic
probabilistic model
database
case study
decision making
databases
data sets