Some Formal Relative Consistency Proofs.

Robert McNaughton

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

Keyphrases

theorem proving
theorem prover
mathematical theory
video sequences
knowledge management
search space
decision procedures
formal methods
formal specification
formal model
neural network
multi agent
multiscale
decision making
computer vision
information retrieval
data mining