| Démonstratif < Démonstration automatique < Démonstration automatisée | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 27.[20-40] [0 - 20][0 - 27]
| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000B34 (1998) | E. Melis [Allemagne] ; J. Lieber [France] ; A. Napoli [France] | Reformulation in case-based reasoning |
| 000B62 (1998) | C. Lynch [États-Unis] ; C. Scharff [France] | Basic Completion with E-cycle Simplification |
| 000C31 (1997) | B. Chetali [États-Unis] ; B. Heyd [États-Unis] | Formal verification of concurrent programs in LP and in COQ : A comparative analysis |
| 000D02 (1996) | A. Napoli [France] ; J. Lieber [France] ; R. Curien [France] | Classification-based problem-solving in case-based reasoning |
| 000D62 (1991) | M. Rusinowitch [France] | Theorem-proving with resolution and superposition |
| 000D65 (1991) | M. Hermann ; C. Kirchner ; H. Kirchner | Implementations of term rewriting systems |
| 000D66 (1991) | N. Doggaz ; C. Kirchner | Completion for unification |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i -k "Démonstration automatique"
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i \
-Sk "Démonstration automatique" \
| HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Checkpoint
|type= indexItem
|index= PascalFr.i
|clé= Démonstration automatique
}}
| This area was generated with Dilib version V0.6.33. |  |