g - CRIL
g - CRIL
g - CRIL
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Caractérisation logique Solution générale Étude algorithmique Expérimentations<br />
Problématique<br />
Contexte : Insertion d’une information déjà déductible dans un ensemble de<br />
connaissances compatible<br />
Problème : Comment permettre à cette information de préempter les<br />
informations permettant sa déduction ?<br />
Exemple 2 : Soit Γ un ensemble de formules propositionnelles<br />
1 silos_nucleaires<br />
g silos_nucleaires ∨ silos_grains<br />
➠<br />
2 / 16
Change language