Proof of Irvine's Conjecture via Mechanized Guessing.

Jeffrey O. Shallit

Published in: CoRR (2023)

Keyphrases

data mining
theorem prover
neural network
search engine
information systems
multimedia
case study
cooperative
natural language
expert systems
special case
complete axiomatization