Proof of a Conjecture of Bollob's on Nested Cycles.

Guantao Chen Paul Erdös William Staton

Published in: J. Comb. Theory, Ser. B (1996)

Keyphrases

theorem prover
linear logic
proof planning
data sets
data mining
real world
machine learning
artificial intelligence
data structure
multi agent systems
hierarchical data
natural deduction
complete axiomatization