SKIL : synthesizing knowledge in intuitionistic logic

Analyse et evaluation du logiciel IDAS

Breheret, Laurent
Hennebelle, Pierre-Yves
Ministere de l'Equipement, des Transports et du Logement, 69 - Lyon (France). Centre d'Etudes sur les Reseaux, les Transports, l'Urbanisme et les Constructions Publiques
Ministere de l'Equipement des Transports et du Logement, 92 - Puteaux (France). Direction de la Securite et de la Circulation Routieres

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RL 439 / INIST-CNRS - ...

Enseigner le genie logiciel dans un monde de praticiens : un nouveau metier

Mayadoux, Y.
Narat, V.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 92 - Clamart (France). Dept. Traitement de l'Information et des Etudes Mathematiques

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 ...

Logiciel de classification pyramidale

Brito, P.
Bertrand, P.
Diday, E.
Jacques, G.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Intelligence Logicielle (ILOG), 94 - Gentilly (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15176 / INIST-CNRS - ...

Genie Logiciel a base d'Objets et de Reflexivite pour le developpement d'applications a Interface Avancee automatique

Brutus, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82032 / INIST-CNRS ...

Conception des systemes d'information Les ateliers de genie logiciel

Thiery, Odile
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12456 / INIST-CNRS - ...

Logiciels pour la chimie Catalogue de logiciels de recherche

Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Agence Nationale du Logiciel (ANL)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Thermodata, 38 - Saint-Martin-d'Heres (France)
Societe Francaise de Mineralogie et Cristallographie (SFMC), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Lab. de l'Utilisation du Rayonnement Electromagnetique
Groupe de Graphique Moleculaire (GGM), 13 - Marseille (France)
Societe Francaise de Chimie, 75 - Paris (France). Div. de Chimie Physique
Association Francaise de Cristallographie (AFC), (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Centre Inter-Regional de Calcul Electronique (CIRCE)

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14289 / INIST-CNRS - Insti...

Essai d'interdisciplinarite sur l'experimentation d'un logiciel de CAO pour la confection Le logiciel GALBE

Urhy, Jean-Pierre
Jeantet, Alain
Bollon, Thierry
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Alma, 38 - Gieres (France)
Grenoble-2 Univ., 38 - Saint-Martin-d'Heres (France). Collectif de Recherche Innovation Sociotechnique et Organisation (CRISTO)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14460 / INIST-CNRS - ...

Integration des techniques d'intelligence artificielle de genie logiciel et de communication homme-machine dans un atelier de genie didacticiel pour la production de logiciels educatifs: AGEDI

Ahmed-Ouamer, Rachid
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84295 / INIST-CNRS -...

L'assistance au developpement de logiciel Une approche systeme a base de connaissance

Khammaci, T.
Boudjlida, N.
Derniame, J.C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11144 / INIST-CNRS - ...

A transformation of logic programs

Alexandre, F.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10507 / INIST-CNRS - ...

Sur la reutilisation de composants logiciels: classification et recherche

Rames, Eric

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79432 / INIST-CNRS -...

Ergonomie et conception de logiciels interactifs

Jeffroy, Francois
Vilm, Isabelle
Ministere de l'Enseignement Superieur et de la Recherche, 75 - Paris (France)
Centre Groupe d'Ergonomie du Logiciel, 91 - Massy (France)
Bull, 75 - Paris (France)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15502 / INIST-CNRS - ...

Developpement de logiciels et d'electronique d'acquisition pour la localisation uni et bi-dimentionnelles

Comparat, V.
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Instrumentation Electronique, 91 - Les Ulis (France)

January 1988

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14035 / INIST-CNRS - ...

Chypre : un logiciel d'aide au raisonnement

Bernat, Philippe
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12446 / INIST-CNRS - ...

Construction modulaire d'ateliers logiciels sur une structure d'accueil a objets

Charoy, Francois

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84184 / INIST-CNRS -...

Analyse et evaluation du logiciel IDAS

Breheret, Laurent
Hennebelle, Pierre-Yves
Ministere de l'Equipement, des Transports et du Logement, 69 - Lyon (France). Centre d'Etudes sur les Reseaux, les Transports, l'Urbanisme et les Constructions Publiques
Ministere de l'Equipement des Transports et du Logement, 92 - Puteaux (France). Direction de la Securite et de la Circulation Routieres

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RL 439 / INIST-CNRS - ...

Enseigner le genie logiciel dans un monde de praticiens : un nouveau metier

Mayadoux, Y.
Narat, V.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 92 - Clamart (France). Dept. Traitement de l'Information et des Etudes Mathematiques

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 ...

Logiciel de classification pyramidale

Brito, P.
Bertrand, P.
Diday, E.
Jacques, G.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Intelligence Logicielle (ILOG), 94 - Gentilly (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15176 / INIST-CNRS - ...

Genie Logiciel a base d'Objets et de Reflexivite pour le developpement d'applications a Interface Avancee automatique

Brutus, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82032 / INIST-CNRS ...

Conception des systemes d'information Les ateliers de genie logiciel

Thiery, Odile
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12456 / INIST-CNRS - ...

Logiciels pour la chimie Catalogue de logiciels de recherche

Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Agence Nationale du Logiciel (ANL)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Thermodata, 38 - Saint-Martin-d'Heres (France)
Societe Francaise de Mineralogie et Cristallographie (SFMC), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Lab. de l'Utilisation du Rayonnement Electromagnetique
Groupe de Graphique Moleculaire (GGM), 13 - Marseille (France)
Societe Francaise de Chimie, 75 - Paris (France). Div. de Chimie Physique
Association Francaise de Cristallographie (AFC), (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Centre Inter-Regional de Calcul Electronique (CIRCE)

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14289 / INIST-CNRS - Insti...

Essai d'interdisciplinarite sur l'experimentation d'un logiciel de CAO pour la confection Le logiciel GALBE

Urhy, Jean-Pierre
Jeantet, Alain
Bollon, Thierry
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Alma, 38 - Gieres (France)
Grenoble-2 Univ., 38 - Saint-Martin-d'Heres (France). Collectif de Recherche Innovation Sociotechnique et Organisation (CRISTO)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14460 / INIST-CNRS - ...

Integration des techniques d'intelligence artificielle de genie logiciel et de communication homme-machine dans un atelier de genie didacticiel pour la production de logiciels educatifs: AGEDI

Ahmed-Ouamer, Rachid
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84295 / INIST-CNRS -...

L'assistance au developpement de logiciel Une approche systeme a base de connaissance

Khammaci, T.
Boudjlida, N.
Derniame, J.C.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11144 / INIST-CNRS - ...

A transformation of logic programs

Alexandre, F.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10507 / INIST-CNRS - ...

Sur la reutilisation de composants logiciels: classification et recherche

Rames, Eric

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79432 / INIST-CNRS -...

Ergonomie et conception de logiciels interactifs

Jeffroy, Francois
Vilm, Isabelle
Ministere de l'Enseignement Superieur et de la Recherche, 75 - Paris (France)
Centre Groupe d'Ergonomie du Logiciel, 91 - Massy (France)
Bull, 75 - Paris (France)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15502 / INIST-CNRS - ...

Developpement de logiciels et d'electronique d'acquisition pour la localisation uni et bi-dimentionnelles

Comparat, V.
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Instrumentation Electronique, 91 - Les Ulis (France)

January 1988

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14035 / INIST-CNRS - ...

Chypre : un logiciel d'aide au raisonnement

Bernat, Philippe
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12446 / INIST-CNRS - ...

Construction modulaire d'ateliers logiciels sur une structure d'accueil a objets

Charoy, Francois

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84184 / INIST-CNRS -...

Analyse et evaluation du logiciel IDAS

Breheret, Laurent
Hennebelle, Pierre-Yves
Ministere de l'Equipement, des Transports et du Logement, 69 - Lyon (France). Centre d'Etudes sur les Reseaux, les Transports, l'Urbanisme et les Constructions Publiques
Ministere de l'Equipement des Transports et du Logement, 92 - Puteaux (France). Direction de la Securite et de la Circulation Routieres

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RL 439 / INIST-CNRS - ...

Enseigner le genie logiciel dans un monde de praticiens : un nouveau metier

Mayadoux, Y.
Narat, V.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 92 - Clamart (France). Dept. Traitement de l'Information et des Etudes Mathematiques

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 ...

Logiciel de classification pyramidale

Brito, P.
Bertrand, P.
Diday, E.
Jacques, G.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Intelligence Logicielle (ILOG), 94 - Gentilly (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15176 / INIST-CNRS - ...

SKIL : synthesizing knowledge in intuitionistic logic

Abstract

Extracted data

SKIL : synthesizing knowledge in intuitionistic logic

Abstract

Extracted data

Related items

Related items