Keywords
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Keywords » - entrée « automated reasoning »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
automated proving < automated reasoning < automated theorem proving  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000834 (2004) Automated Reasoning
000B85 (2003) Dongming WangGEOTHER 1.1 : Handling and Proving Geometric Theorems Automatically
001664 (2001) Claire Gardent ; Bonnie WebberTowards the Use of Automated Reasoning in Discourse Disambiguation
001711 (2001) Jürgen StuberA Model-based Completeness Proof of Extended Narrowing And Resolution
001B96 (2000) Xiao-Shan Gao ; Dongming WangComputer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000
002032 (1999) Ahmed JebaliVérification Observationnelle
002669 (1997) Didier GalmicheInternational Conference TABLEAUX'97 - Analytic Tableaux and Related Methods (Position papers)
002699 (1997) Didier GalmicheAutomated reasoning with Analytic Tableaux and Related Methods
002A45 (1995) O. HermannMécanisation de la recherche de preuves et de programmes en Arithmétique Fonctionnelle du Second Ordre
003409 (1993) R. CurienSecond Order {E}-Matching as a Tool for Automated Theorem Proving
003B15 (1990) B. El Ayeb ; P. Marquis ; M. RusinowitchDeductive/Abductive Diagnosis : The DA-Principles
004140 (1987) J. Hsiang ; M. Rusinowitch ; K. SakaiComplete inference rules for the cancellation laws

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "automated reasoning" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "automated reasoning" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    automated reasoning
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022