Saturation and simple extensions of models of peano arithmetic.

Matt Kaufmann James H. Schmerl

Published in: Ann. Pure Appl. Log. (1984)

Keyphrases

multi agent
probabilistic model
case study
model selection
efficient implementation
information retrieval
computer vision
multiscale
prior knowledge
statistical models
mathematical models
finite state machines
accurate models