DEMONSTRATION AUTOMATIQUE DANS LES THEORIES DE HORN
NOTRE OBJECTIF EST DE PRESENTER UN SYSTEME D'INFERENCE ASSEZ EFFICACE POUR LA DEMONSTRATION AUTOMATIQUE DANS LES THEORIES DE HORN AVEC EGALITE. NOTRE APPROCHE ADOPTE UNE STRATEGIE UNITAIRE ET ELLE EST PROUVEE CORRECTE ET COMPLETE POUR LES THEOREMES DEDUCTIFS SANS POUR AUTANT SUPPOSER QUE L'...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[S.l.] :
[s.n.]
1991.
|
| Témata: | |
| Poznámka: |
1991ORLE2005 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | THEOREM-PROVING IN HORN THEORIES |