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'...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Thèse et Mémoire papier |
| Lenguaje: | Français |
| Publicado: |
[S.l.] :
[s.n.]
1991.
|
| Materias: | |
| Nota: |
1991ORLE2005 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | THEOREM-PROVING IN HORN THEORIES |
Orléans - BU Sciences Technologies STAPS
| Localización | Número de Clasificación | Type de prêt | Estado | |
|---|---|---|---|---|
| Magasin | TS 19-1991-5 | Disponible | ||
| Magasin | TS 19-1991-5 b |
A consulter sur place
|