Login / Signup
A new proof of the colored branch Theorem.
Torsten Mütze
Published in:
IEEE Trans. Circuits Syst. II Express Briefs (2006)
Keyphrases
</>
interactive theorem proving
theorem prover
database
evolutionary algorithm
special case