Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 termination analysis  Facettes :

List of bibliographic references indexed by automated reasoning

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
002D97 (2010-03-12) Clément Houtmann [France]Representation and interaction of proofs in superdeduction modulo
006A06 (2004) Automated Reasoning
007654 (2003) Dongming WangGEOTHER 1.1 : Handling and Proving Geometric Theorems Automatically
009048 (2001) Claire Gardent ; Bonnie WebberTowards the Use of Automated Reasoning in Discourse Disambiguation
009095 (2001) Jürgen StuberA Model-based Completeness Proof of Extended Narrowing And Resolution
009711 (2001) Jürgen Stuber [France]A Model-based Completeness Proof of Extended Narrowing And Resolution
009C50 (2000) Xiao-Shan Gao ; Dongming WangComputer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000
00A250 (2000) Xiao-Shan Gao [République populaire de Chine] ; Dongming Wang [France]Computer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000
00A787 (1999) Ahmed JebaliVérification Observationnelle
00B946 (1997) Didier GalmicheInternational Conference TABLEAUX'97 - Analytic Tableaux and Related Methods (Position papers)
00B976 (1997) Didier GalmicheAutomated reasoning with Analytic Tableaux and Related Methods
00C232 (1995) O. HermannMécanisation de la recherche de preuves et de programmes en Arithmétique Fonctionnelle du Second Ordre
00C835 (1995) Adel Bouhoula [France]Fundamental Results on Automated Theorem Proving by Test Set Induction
00D009 (1993) R. CurienSecond Order {E}-Matching as a Tool for Automated Theorem Proving
00DB70 (1990) B. El Ayeb ; P. Marquis ; M. RusinowitchDeductive/Abductive Diagnosis : The DA-Principles
00E533 (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/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "automated reasoning" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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