Proof of a conjecture of Z.W. Sun.

Olivia Yao Yan Zhang

Published in: Contributions Discret. Math. (2019)

Keyphrases

information retrieval
information systems
theorem prover
proof planning
artificial intelligence
knowledge base
database systems
preprocessing
artificial neural networks
logical rules