L'evaluation partielle et son application pour coupler Prolog et les SGBD

Commande L/A : applications

Lakrori, Maqo
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Vers un environnement d'aide a l'evaluation d'algorithmes

Tatibouet, Bruno

January 1989

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

Evaluation partielle : principes, pratique et applications

Consel, Charles
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11651 / 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

L'evaluation semantique en calcul propositionnel

Oxusoff, Laurent

January 1989

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

Prolog en informatique de gestion

Zotian, Jean-Jacques

January 1988

SIGLECNRS T Bordereau / 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

Analyse de programmes, evaluation partielle et generation de compilateurs

Consel, Charles

January 1989

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

Plausibilite et applications aux tables de contingence

Nguyen Van, Dominique

January 1986

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

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

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

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

Methode d'elaboration d'un Benchmark pour les SGBD relationnels

Souza De Oliveira, Roberto
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1987

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

Commande L/A : applications

Lakrori, Maqo
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Vers un environnement d'aide a l'evaluation d'algorithmes

Tatibouet, Bruno

January 1989

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

Evaluation partielle : principes, pratique et applications

Consel, Charles
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11651 / 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

L'evaluation semantique en calcul propositionnel

Oxusoff, Laurent

January 1989

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

Prolog en informatique de gestion

Zotian, Jean-Jacques

January 1988

SIGLECNRS T Bordereau / 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

Analyse de programmes, evaluation partielle et generation de compilateurs

Consel, Charles

January 1989

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

Plausibilite et applications aux tables de contingence

Nguyen Van, Dominique

January 1986

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

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

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

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

Methode d'elaboration d'un Benchmark pour les SGBD relationnels

Souza De Oliveira, Roberto
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1987

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

Commande L/A : applications

Lakrori, Maqo
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Vers un environnement d'aide a l'evaluation d'algorithmes

Tatibouet, Bruno

January 1989

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

Evaluation partielle : principes, pratique et applications

Consel, Charles
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

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

L'evaluation partielle et son application pour coupler Prolog et les SGBD

Abstract

Extracted data

L'evaluation partielle et son application pour coupler Prolog et les SGBD

Abstract

Extracted data

Related items

Related items