Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.

James P. Jones Yuri V. Matijasevic

Published in: J. Symb. Log. (1984)

Keyphrases

interactive theorem proving
real time
machine learning
information systems
image representation
representation scheme
batch processing
databases
website
image sequences
expert systems
theorem prover
theorem proving
inductive inference