Sign in
A Short Proof of the Odd-Girth Theorem.
Edwin R. van Dam
Miguel Angel Fiol
Published in:
Electron. J. Comb. (2012)
Keyphrases
</>
interactive theorem proving
information systems
linear logic
computer vision
decision making
metadata
image processing
multimedia
multiscale
optimal solution
multi agent systems
expert systems
evolutionary algorithm
logic programming
fixed number
proof planning
mathematical proofs