Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Cadre logique"'
Autor:
Benidir, Mohammed
Les courtiers associatifs en développement dans la région Sud-Est du Maroc ont émergé au début des années 1990 avec la dynamique des projets de la coopération nationale pour le développement. Tous sont issus des milieux socio-professionnels i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=openedition_::47d9f144d3c11fe9a99bc2b1b64fe6a2
http://books.openedition.org/pressesinalco/43755
http://books.openedition.org/pressesinalco/43755
Autor:
Genestier, Guillaume
Publikováno v:
Computation and Language [cs.CL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG045⟩
Dedukti is a logical framework in which the user encodes the theory she wantsto use via rewriting rules. To ensure the decidability of typing, the rewriting system must be terminating.After recalling some properties of pure type systems and their ext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2f769673874ab229fa14c563d0ce8f0a
https://tel.archives-ouvertes.fr/tel-03167579
https://tel.archives-ouvertes.fr/tel-03167579
Autor:
Thiré, François
Publikováno v:
Computer Science [cs]. ENS Paris-Saclay, 2020. English
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Programming Languages [cs.PL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Computer Science [cs]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Programming Languages [cs.PL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Computer Science [cs]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
There is today a large family of proof systems based upon variouslogics: The Calculus of Inductive Constructions, Higher-Order logic orSet theory, etc. The diversity of proof systems has the negativeconsequence that theorems are formalized many times
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ba7f54a23b25c4596a2b3c6565b1860
https://hal.archives-ouvertes.fr/tel-03224039
https://hal.archives-ouvertes.fr/tel-03224039
Autor:
BALDE Idrissa
La gestion axée sur les résultats (GAR) devient de nos jours le paradigme de gestion le plus utilisé pour atteindre l’efficacité des politiques publiques. Le budget-programme en est une application. La large publicité de ce changement dans l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27895896a26267d960ffbb6dd1cb958f
Autor:
N'Djambara, Mahamondou
" Eyu ", l'Homme, naît riche, c'est la société qui l'appauvrit par le biais des institutions qui établissent les catégories de pensée et les règles sur lesquelles les individus s'appuient pour penser et agir. À Bokokopé au Togo, des migrants
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-01010978
http://tel.archives-ouvertes.fr/docs/01/01/09/78/PDF/THESE_Mahamondou_NDJAMBARA.pdf
http://tel.archives-ouvertes.fr/docs/01/01/09/78/PDF/THESE_Mahamondou_NDJAMBARA.pdf
Autor:
Lachat, Salomé
Logical frameworks are planning aids for projects pertaining to technical assistance. They ask for identifying and defining indica-tors of success and assumptions, which are included in the project ToR and in the project follow-up reports. Their cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::466cebbf35e5ec4bc40f283cbe59b745
https://halshs.archives-ouvertes.fr/halshs-00465734/document
https://halshs.archives-ouvertes.fr/halshs-00465734/document
Autor:
Johnson, Cassidy
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/17168
Autor:
Vittek, Marian
Publikováno v:
Autre. Université Henri Poincaré-Nancy 1, 1994. Français. ⟨NNT : 1994NAN10372⟩
Not available
La thèse décrit l'étude et l'implantation du langage ELAN qui permet de spécifier, sur une base uniforme de systèmes de calcul, différents langages de programmation logique et différents résolveurs de contraintes. ELAN est
La thèse décrit l'étude et l'implantation du langage ELAN qui permet de spécifier, sur une base uniforme de systèmes de calcul, différents langages de programmation logique et différents résolveurs de contraintes. ELAN est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f14a2d1110bb7971f83bb1cfdb121b83
https://hal.univ-lorraine.fr/tel-01754181
https://hal.univ-lorraine.fr/tel-01754181
Autor:
Herment, Michel
Après un historique bref et général de la déduction automatique, on analyse les tendances actuelles et les besoins en présentation de preuves et communication d'outils d'inférence. Les notions théoriques concernées sont présentées et étudi
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00344974
http://tel.archives-ouvertes.fr/docs/00/34/49/74/PDF/Herment.Michel_1994_these.pdf
http://tel.archives-ouvertes.fr/docs/00/34/49/74/PDF/Herment.Michel_1994_these.pdf
GLEFATINF, a generic graphic framework for combining inference tools and editing proofs and formulae
Autor:
Herment, Michel
Publikováno v:
Modélisation et simulation. Institut National Polytechnique de Grenoble-INPG, 1994. Français
Après un historique bref et général de la déduction automatique, on analyse les tendances actuelles et les besoins en présentation de preuves et communication d'outils d'inférence. Les notions théoriques concernées sont présentées et étudi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4498aca5d5d45865b03557c40fc123ae
https://theses.hal.science/tel-00344974
https://theses.hal.science/tel-00344974