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