A New Proof of Wojcicka's Conjecture.

Yaojun Chen Feng Tian

Published in: Discret. Appl. Math. (2003)

Keyphrases

theorem prover
genetic algorithm
knowledge representation
automated theorem proving
databases
image processing
web services
preprocessing
natural deduction