A Combinatorial Proof for Stockhausen's Problem.

Published in: SIAM J. Discret. Math. (1997)

Keyphrases

theorem proving
databases
information retrieval
database
real time
artificial intelligence
image segmentation
search algorithm
automated theorem proving
proof planning