A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic.

Robert A. Di Paola

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

Keyphrases

formal methods
building blocks
information retrieval
distributed systems
learning systems
search engine
image sequences
digital libraries
expert systems
intelligent systems
computer systems
complex systems