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