Utilisation de PROLOG, langage d'intelligence artificielle, en biologie moleculaire

Contribution a l'etude des semantiques axiomatiques de prolog

Denis, Francois

January 1990

SIGLEINIST T 76213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

L'analyse strategique des brevets: l'utilisation de Leximappe pour l'etude d'un fichier de brevets: le cas des biotechnologies

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Ecole Nationale Superieure des Mines de Paris, 75 (France). Centre de Sociologie de l'Innovation.
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Centre de Documentation Scientifique et Technique

SIGLECNRS AR 11954 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Artificial intelligence and combinatoric : how to do combinatoric with prolog

Hamidi, Brahim
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Inst. d'Administration des Entreprises

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1549 / INIST-CNRS - I...

Prolog en informatique de gestion

Zotian, Jean-Jacques

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Notes de cours prolog

Dincbas, M.
Bourgault, S.
Le Pape, J.P.
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1986

SIGLECNRS RP 252 (348) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Mise en oeuvre de PrologII/MALI

Le Huitouze, Serge

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Techniques inductives d'intelligence artificielle et applications a l'analyse de sequences biologiques

Soldano, H.
Institut Curie, 75 - Paris (France). Section de Physique et Chimie
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)

January 1989

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

Etude du couplage de PROLOG et d'un systeme de gestion de bases de donnees : application au SGBD SABRE

Jouve, Mireille

January 1985

SIGLECNRS T 58869 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a la compilation de Prolog par evaluation partielle

Landais, Gilbert

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a l'interpretation et a la transformation de programmes Prolog

Belkhiri, Ali
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Biologie du developpement en Aquitaine

Chateauraynaud
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 33 - Talence (France). Centre de Morphologie Experimentale

CNRS AR 11051 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Implantation de Concurrent Prolog

Picca, Remy

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a l'etude des semantiques axiomatiques de prolog

Denis, Francois

January 1990

SIGLEINIST T 76213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

L'analyse strategique des brevets: l'utilisation de Leximappe pour l'etude d'un fichier de brevets: le cas des biotechnologies

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Ecole Nationale Superieure des Mines de Paris, 75 (France). Centre de Sociologie de l'Innovation.
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Centre de Documentation Scientifique et Technique

SIGLECNRS AR 11954 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Artificial intelligence and combinatoric : how to do combinatoric with prolog

Hamidi, Brahim
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Inst. d'Administration des Entreprises

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1549 / INIST-CNRS - I...

Prolog en informatique de gestion

Zotian, Jean-Jacques

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Notes de cours prolog

Dincbas, M.
Bourgault, S.
Le Pape, J.P.
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1986

SIGLECNRS RP 252 (348) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Mise en oeuvre de PrologII/MALI

Le Huitouze, Serge

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Techniques inductives d'intelligence artificielle et applications a l'analyse de sequences biologiques

Soldano, H.
Institut Curie, 75 - Paris (France). Section de Physique et Chimie
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)

January 1989

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

Etude du couplage de PROLOG et d'un systeme de gestion de bases de donnees : application au SGBD SABRE

Jouve, Mireille

January 1985

SIGLECNRS T 58869 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a la compilation de Prolog par evaluation partielle

Landais, Gilbert

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a l'interpretation et a la transformation de programmes Prolog

Belkhiri, Ali
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Biologie du developpement en Aquitaine

Chateauraynaud
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 33 - Talence (France). Centre de Morphologie Experimentale

CNRS AR 11051 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Implantation de Concurrent Prolog

Picca, Remy

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a l'etude des semantiques axiomatiques de prolog

Denis, Francois

January 1990

SIGLEINIST T 76213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

L'analyse strategique des brevets: l'utilisation de Leximappe pour l'etude d'un fichier de brevets: le cas des biotechnologies

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Ecole Nationale Superieure des Mines de Paris, 75 (France). Centre de Sociologie de l'Innovation.
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Centre de Documentation Scientifique et Technique

SIGLECNRS AR 11954 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Artificial intelligence and combinatoric : how to do combinatoric with prolog

Hamidi, Brahim
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Inst. d'Administration des Entreprises

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1549 / INIST-CNRS - I...

Utilisation de PROLOG, langage d'intelligence artificielle, en biologie moleculaire

Abstract

Extracted data

Utilisation de PROLOG, langage d'intelligence artificielle, en biologie moleculaire

Abstract

Extracted data

Related items

Related items