Theoretical Study of Symmetries in Propositional Calculus and Applications.

Belaid Benhamou Lakhdar Sais

Published in: CADE (1992)

Keyphrases

propositional calculus
artificial intelligence
website
fixed point
data sets
databases
machine learning
image processing
video sequences
statistical analysis
theoretical analysis
theoretical models
empirical findings