Login / Signup
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation.
Naveen Sundar Govindarajulu
John Licato
Selmer Bringsjord
Published in:
UCNC (2013)
Keyphrases
</>
theorem proving
small number
theorem prover
formal proof
artificial neural networks
linear logic
data sets
computer vision
information systems
web pages
generation process
proof theory