Login / Signup
A Combinatorial Proof for Stockhausen's Problem.
Lily Yen
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