Proof of a theorem of Tutte using permanents.

M. Aghabali Saieed Akbari Zakeieh Tajfirouz

Published in: Electron. Notes Discret. Math. (2014)

Keyphrases

interactive theorem proving
theorem prover
theorem proving
proof planning
data sets
e learning
logical rules
real time
artificial intelligence
bayesian networks
multi agent
von neumann
linear logic
proof search
mathematical proofs