- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 7 of 7 (0.097 seconds)Spelling suggestions: "subject:"conduction (logique)"" "subject:"dinduction (logique)""
| 1 |
Semantikerwerb : ein Beitrag zu einer empiritisch-naturalistischen Bedeutungstheorie /Löbach, Brigitte. January 2000 (has links)
Diss.--Köln, 1999. / Bibliogr. p. [207]-218.
|
| 2 |
Rules of acceptance and inductive logic /Hilpinen, Risto, January 1968 (has links)
Diss.--Philosophy--Helsinki, 1968. / Bibliogr. p. 123-129. Index.
|
| 3 |
Induction automatique aspects théoriques, le système ARBRE, applications en médecine /Crémilleux, Bruno. Robert, Claudine. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1991. / Titre provenant de l'écran-titre. Bibliogr. p. 178-184.
|
| 4 |
Découverte de motifs relationnels en bioinformatique application à la prédiction de ponts disulfures /Jacquemin, Ingrid. Nicolas, Jacques. January 2005 (has links) (PDF)
Thèse doctorat : Informatique. Bioinformatique : Rennes 1 : 2005. / Bibliogr. p. 107-129.
|
| 5 |
Apprentissage multisource par programmation logique inductive application à la caractérisation d'arythmies cardiques /Fromont, Élisa Cordier, Marie-Odile January 2005 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2005. / Bibliogr. p. 197-206.
|
| 6 |
Vers un environnement d'aide au développement de preuves en sémantique naturelle /Terrasse, Delphine, January 1900 (has links)
Th. doct.--Math., informatique--Noisy-le-Grand--Éc. natl. ponts et chaussées, 1995. / Bibliogr. p. 135-140. Résumé. 1996 d'après la déclaration de dépôt légal.
|
| 7 |
De nouveaux outils pour calculer avec des inductifs en CoqBoutillier, Pierre 18 February 2014 (has links) (PDF)
En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité. L'assistant de preuve Coq s'appuie sur un tel langage (le CIC) à la sémantique particulièrement claire. L'utilisateur n'écrit pas directement de programme en CIC car cela est ardu et fastidieux. Coq propose un environnement de programmation qui facilite la tâche en permettant d'écrire des programmes incrémentalement grâce à des constructions de haut niveau plus concises. Typiquement, les types dépendants imposent des contraintes fortes sur les données. Une analyse de cas peut n'avoir à traiter qu'un sous-ensemble des constructeurs d'un type algébrique, les autres étant impossibles par typage. Le type attendu dans chacun des cas varie en fonction du constructeur considéré. L'impossibilité de cas et les transformations de type doivent être explicitement écrites dans les termes de Coq. Pourtant, ce traitement est mécanisable et cette thèse décrit un algorithme pour réaliser cette automatisation. Par ailleurs, il est nécessaire à l'interaction avec l'utilisateur de calculer des programmes du CIC sans faire exploser la taille syntaxique de la forme réduite. Cette thèse présente une machine abstraite conçu dans ce but. Enfin, les points fixes permettent une manipulation aisée des structure de données récursives. En contrepartie, il faut s'assurer que leur exécution termine systématiquement. Cette question sensible fait l'objet du dernier chapitre de cette thèse.
|
Page generated in 0.1016 seconds