Dissertations / Theses on the topic 'Synthèse de preuves'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 15 dissertations / theses for your research on the topic 'Synthèse de preuves.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Potet, Marie-Laure. "Preuves et stratégies pour la synthèse déductive de programmes." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00329935.
Full textVanzetto, Hernán. "Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+." Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0208/document.
Full textÖzgün, Aybüke. "Evidence in Epistemic Logic : A Topological Perspective." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0200/document.
Full textWilson, Têtê Norbert. "Impact of physical activity on return to work after cancer diagnosis : an evidence-based approach." Electronic Thesis or Diss., Angers, 2023. http://www.theses.fr/2023ANGE0063.
Full textMULLER, SERGE. "Preuves de theoremes inductifs et synthese de programmes recursifs." Nice, 1996. http://www.theses.fr/1996NICE5014.
Full textManoury, Pascal, and Marianne Simonot. "Des preuves de totalite de fonctions comme synthese de programmes." Paris 7, 1992. http://www.theses.fr/1992PA077262.
Full textPotet, Marie-Laure. "Preuves et stratégies pour la synthèse déductive de programmes." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb376176703.
Full textPotet, Marie-Laure Jacquet Paul. "Preuves et stratégies pour la synthèse déductive de programmes." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00329935.
Full textParent, Catherine. "Synthese de preuves de programmes dans le calcul des constructions inductives." Lyon, École normale supérieure (sciences), 1995. http://www.theses.fr/1995ENSL0002.
Full textBsaïes, Khaled. "Construction de programmes logiques par synthèse de propriétés." Nancy 1, 1993. http://www.theses.fr/1993NAN10295.
Full textSicard, Pascal. "Nouvelles méthodes de synthèse logique." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00327269.
Full textKessaci, Kamel. "Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0007.
Full textCORNES, CRISTINA. "Conception d'un langage de haut niveau de representation de preuves : recurrence par filtrage de motifs unification en presence de types inductifs primitifs synthese de lemmes d'inversion." Paris 7, 1997. http://www.theses.fr/1997PA077193.
Full textCréquit, Perrine. "Méta-analyse en réseau cumulative et dynamique." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCB085.
Full textPreuße, Friedrich-Alexander [Verfasser]. "Mutationen im PTS-Gen und mögliche Auswirkungen auf Funktion und Struktur der 6-Pyruvoyl-Tetrahydropterin-Synthase / vorgelegt von Friedrich-Alexander Preuße." 2001. http://d-nb.info/972779612/34.
Full text