Login / Signup
Exact cuts and a simple proof of the zero graphs theorem.
Yair Caro
Published in:
Ars Comb. (1995)
Keyphrases
</>
data sets
neural network
directed graph
databases
information systems
theorem proving
interactive theorem proving