On Prucnal's Model-determinated Logic and Definable Predicates.

Andrzej Wronski

Published in: Reports Math. Log. (2004)

Keyphrases

computational model
statistical model
probabilistic model
management system
formal model
high level
mathematical model
prediction model
genetic algorithm
video sequences
multi agent systems
em algorithm