A Short Proof of an Identity of Touchard's Concerning Catalan Numbers.

Louis W. Shapiro

Published in: J. Comb. Theory, Ser. A (1976)

Keyphrases

decision trees
search algorithm
theorem prover
proof planning
neural network
search engine
database systems
computational intelligence
theorem proving
international workshop