Login / Signup

Proof of a Lin-Peng-Toh's conjecture on an Andrews-Beck type congruence.

Olivia X. M. Yao
Published in: Discret. Math. (2022)
Keyphrases
  • special case
  • multiple types
  • real time
  • artificial neural networks
  • situation calculus
  • theorem prover