Proof of a Conjecture of De Caen and Van Dam.

Gary L. Ebert Sebastian Egner Henk D. L. Hollmann Qing Xiang

Published in: Eur. J. Comb. (2002)

Keyphrases

theorem proving
state dependent
real time
theorem prover
proof planning
data sets
databases
neural network
data mining
decision making
face recognition