INDUCTION DE PROGRAMMES LOGIQUES AVEC NEGATION :: SCD d'Orléans

INDUCTION DE PROGRAMMES LOGIQUES AVEC NEGATION

INDUCTION DE PROGRAMMES LOGIQUES AVEC NEGATION

L'OBJECTIF DE LA PROGRAMMATION LOGIQUE INDUCTIVE EST D'EXPLIQUER DES OBSERVATIONS EN FOURNISSANT UN PROGRAMME LOGIQUE QUI MODELISE CORRECTEMENT CES OBSERVATIONS. CET APPRENTISSAGE DOIT DONC METTRE EN UVRE D'UNE PART DES METHODES DE CONSTRUCTION DE DEFINITIONS, ET D'AUTRE PART DES...

Enregistré dans:

書目詳細資料
主要作者:	Martin, Lionel, auteur d'une thèse en sciences appliquées
其他作者:	Ferrand, Gérard, 19..-...., professeur d'informatique (Directeur de thèse)
格式:	Thèse et Mémoire papier
語言:	Français
出版:	[S.l.] : [s.n.] 1996.
主題:	Thèses et écrits académiques
提示:	1996ORLE2069
Autres localisations:	Voir dans le Sudoc
Variante du titre:	INDUCTION OF LOGIC PROGRAMS WITH NEGATION

相似書籍

APPROCHE DECLARATIVE DU DIAGNOSTIC D'ERREUR POUR LA PROGRAMMATION LOGIQUE AVEC NEGATION
由: Bergère, Michel, 19..-
出版: (1991)

Diagnostics et modélisation d'un plasma d'argon-hydrogène créé par décharge H.F. inductive utilisée pour la gravure de silicium
由: Salah, Djamal, auteur d'une thèse de sciences
出版: (1985)

Modularité, validation et parallélisme de données en programmation logique
由: Lallouet, Arnaud
出版: (1996)

ETUDE DES MECANISMES QUI REGISSENT LA CAPTURE DE SO#2, A PRESSION ELEVEE, PAR UN CARBONATE DE CALCIUM PREALABLEMENT CALCINE
由: Gouin, Stéphane, 19..-...., auteur d'une thèse de sciences appliquées
出版: (1998)

SPECIFICATIONS FORMELLES ET EXECUTABLES EN PROGRAMMATION EN LOGIQUE : APPLICATION A LA STANDARDISATION DE PROLOG
由: Ed-Dbali, AdbelAli, 1966-
出版: (1993)

Étude par fluorimétrie impulsionnelle des flexibilités internes de la 3 phosphoglycérate kinase de levure (PGK) et de ses complexes avec les substrats
由: Clerbout, Pascal, auteur d'une thèse de sciences
出版: (1985)

ETUDE DE LA DECOMPOSITION DE L'HYDRAZINE PAR COMPRESSION RAPIDE : APPLICATION AUX RISQUES D'EXPLOSION
由: Bourgeois, Christelle, 19..-...., auteur d'une thèse de Sciences appliquées (1996)
出版: (1996)

MISE EN EVIDENCE DE PHASES NOUVELLES, LORS DE LA REDUCTION DE LA PEROVSKITE LABO : :(3) (B = NI, CO, FE)
由: Crespin, Michel, 19..-...., auteur d'une thèse de sciences fondamentales et appliquées
出版: (1985)

PROPRIETES EXPLOSIVES DU TRICHLORURE D'AZOTE GAZEUX
由: Baillou, Françoise, 19..-...., auteur d'une thèse de sciences appliquées (1990)
出版: (1990)

CONTRIBUTION A LA MISE AU POINT D'UNE METHODE DE CONTROLE EN LIGNE DES PROCEDES INDUSTRIELS : APPLICATION AUX CAS PARTICULIERS DE TRAITEMENT DES MINERAIS : FLOTTATION DES MINERAIS SULFURES
由: Villeneuve, Jacques, 19..-...., auteur d'une thèse en sciences appliquées (1991)
出版: (1991)

MODELISATION ET SIMULATION NUMERIQUE DE L'EVAPORATION ET DE LA COMBUSTION DE GOUTTES A HAUTE PRESSION
由: Lafon, Patrick, 19..-...., auteur d'une thèse de sciences appliquées (1994)
出版: (1994)

EXPLOSION DES MELANGES GAZEUX NON UNIFORMES HYDROGENES
由: Lamy, Thierry, 19..-...., auteur d'une thèse de sciences appliquées(1998)
出版: (1998)

APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES
由: Tessier, Alexandre, 19..-...., enseignant-chercheur en informatique
出版: (1997)

ETUDE BIOCHIMIQUE ET BIOLOGIQUE DE LA LECTINE ENDOGENE SPECIFIQUE D'-FUCOSIDES DE CELLULES ENDOTHELIALES MURINES DE GANGLIONS LYMPHATIQUES PERIPHERIQUES
由: Dupuis, Philippe, 19..-...., auteur d'une thèse de sciences biologiques et fondamentales appliquées
出版: (1999)

INDUCTION DES GENES DE VIRULENCE CHEZ AGROBACTERIUM TUMEFACIENS : ACTIVITE DE PHENYL-GLYCOSIDES ET PURIFICATION D'UNE PROTEINE AFFINE DE PHENOLS
由: Wisniewski-Dyé, Florence, 19..-
出版: (1995)

COMMUNAUTE ANTIGENIQUE DES LYSOZYMES DE TYPE-C ET DE TYPE-G : APPLICATION A L'IDENTIFICATION DES ESPECES DE VOLAILLE DANS LES CONSERVES DE FOIE GRAS
由: Hemmen, Fabienne, 19..-...., auteur d'une thèse de sciences biologiques et fondamentales appliquées (1992)
出版: (1992)

Les Facteurs racinaires de l'induction florale de l'Endive, Cichorium intybus L
由: Joseph, Claude, 1947-...., biologiste
出版: (1984)

INDUCTION PHOTOPERIODIQUE ET VARIATIONS EN CYTOKININES ENDOGENES EN RELATION AVEC LA NEOFORMATION DES BOURGEONS FLORAUX DES EXPLANTATS DE CICHORIUM INTYBUS L. CULTIVES IN VITRO
由: Badila, Jean-Luc, 19..-
出版: (1992)

Étude et réalisation d'un applicateur microonde à polarisation variable pour imagerie active biomédicale.
由: Solaimani, Mohammad, auteur d'une thèse de sciences
出版: (1982)

Contribution à l'étude des oscillations forcées dans un magnéto-plasma chaud en mouvement : application aux sondes à impédance mutuelle
由: Enert, Pierre, auteur d'une thèse de sciences
出版: (1985)

Étude de brais de pétrole par résonance magnétique du carbone et microscopie électronique : application aux électrodes de fabrication de l'aluminium
由: Ollivier, Pierre, auteur d'une thèse de sciences
出版: (1985)

INDUCTION PHOTOPERIODIQUE DE L'ORGANOGENESE ET DE LA FLORAISON IN VITRO CHEZ CICHORIUM INTYBUS L. : ASPECTYS HISTIPHYSIOLOGIQUES
由: Mikou, Karima
出版: (1991)

CONSTRUCTION DE GRAMMAIRES ATTRIBUEES ASSOCIEES A UN PROGRAMME LOGIQUE ET APPLICATION AU PROBLEME DU TEST D'OCCURRENCE
由: Teguia, Michel
出版: (1990)

Une méthode inductive et peuplement urbain : recueil de quatre études indépendantes formant un tout, écrites en 1952, 1954, 1958 et 1972
由: Korzybski, Stanislas
出版: (1976)

Une approche de synthèse pour la programmation logique et ses extensions
由: Saubion, Frédéric, 1969-
出版: (1996)

LA TRANSFORMATION CONFORME ET L'ETUDE NUMERIQUE D'ECOULEMENTS STATIONNAIRES OU INSTATIONNAIRES AUTOUR D'OBSTACLES AVEC SILLAGE
由: Hureau, Jacques, 19..-...., auteur d'une thèse en physique
出版: (1988)

Développement d'un modèle d'interprétation des mesures magnétiques sur un tokamak à plasma quasi-circulaire
由: Duranceau, Jean-Louis, auteur d'une thèse de sciences
出版: (1984)

ETUDE CRISTALLOGRAPHIQUE D'ADDUITS DU PLATINE DANS L'ADN ET CONTRIBUTION A L'ETUDE DE LA RECONNAISSANCE ENTRE UN ADN PLATINE A UN SITE D(GPG) ET LA PROTEINE HU D'ESCHERICHIA COLI
由: Coste, Franck, auteur d'une thèse en sciences médicales
出版: (1999)

Synthèse de liants organosiliciés pour propergols solides à réticulation chimique
由: Pin, Jacques, 19..-...., auteur d'une Thèse de docteur-ingénieur en sciences appliquées
出版: (1975)

ETUDE COMPARATIVE DES MECANISMES D'INDUCTION DE LA DIAPAUSE PROLONGEE CHEZ QUELQUES INSECTES SPECIFIQUES DES CONES DE CONIFERES
由: Roux, Géraldine, 19..-
出版: (1995)

L'INDUCTION DE MUTATIONS CHEZ LA SOURIS. PRODUCTION DE MODELES ANIMAUX. INTERET POUR L'ETUDE DU DEVELOPPEMENT
由: Tutois, Sylvie
出版: (1990)

PRODUCTION ET DIAGNOSTIC D'UN PLASMA DENSE DE TYPE Z-PINCH POUR L'INTERACTION AVEC UN FAISCEAU D'IONS LOURDS
由: André, Vladimir, 19..-...., auteur d'une thèse de physique (1993)
出版: (1993)

ETUDE EXPERIMENTALE ET MODELISATION DE LA DEGRADATION THERMIQUE/VAPORISATION DE COMPOSES ASSOCIES AU RISQUE D'INCENDIE DANS LES INSTALLATIONS INDUSTRIELLES
由: Armand, Yves, 19..-...., auteur en sciences appliquées
出版: (1995)

TECTONIQUE CENOZOIQUE DE LA MARGE CENTRE VIETNAM : IMPLICATIONS POUR L'OUVERTURE DE LA MER DE CHINE MERIDIONALE
由: Roques, Delphine, 19..-...., auteur d'une thèse en sciences de la Terre
出版: (1996)

Étude des mésophases hydrocarbonées issues de composés organiques définis
由: Guet, Jean-Michel, 19..-...., auteur d'une thèse de sciences
出版: (1983)

ETUDE PHYSICO-CHIMIQUE DE LA CORROSION DES ALLIAGES BASE NICKEL DU COTE SECONDAIRE DES GENERATEURS DE VAPEUR DES CENTRALES A EAU PRESSURISEE ETUDE ELECTROCHIMIQUE EN LABORATOIRE
由: Chevalier, Stéphane, 19..-...., auteur d'une thèse de sciences et techniques
出版: (2000)

L'intérêt négatif, sa nature et son étendue
由: Anex, Jean
出版: (1977)

ETUDE DES EFFETS DE L'ETHYLENE SUR L'INDUCTION DE L'EMBRYOGENESE SOMATIQUE DU MELEZE HYBRIDE (LARIX X LEPTOEUROPAEA)
由: Saly, Sabine
出版: (1997)

Logique de la volonté
由: Lapie, Paul, 1869-1927
出版: (1902)

BIMODULES NORMES REPRESENTABLES SUR DES ESPACES HILBERTIENS
由: Pop, Ciprian, 19..-...., auteur d'une thèse de sciences et techniques communes
出版: (1999)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales