Zobrazeno 1 - 10 of 1 157 pro vyhledávání: '"cadre logique"'
2
Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti
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⟩
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
Zobrazit plný text záznamu
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Cadre logique du Projet régional de santé de Franche-Comté
Autor: Cédric Duboudin, Christine Billondeau, Sylvie Mansion, Caroline Guillin, Claude Michaud, Nadine Sannino, François Baudier
Publikováno v: Santé Publique. 26:469-474
The French "Hospitals, patients, health and territories" law of July 2009 created the Regional Health Project (PRS) to support regional health policy, and requires evaluation of these projects. The construction of these projects, which includes preve
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::674ef6776762ee1b1e077f26f327782d
https://doi.org/10.3917/spub.144.0469
Zobrazit plný text záznamu
7
La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique
Autor: Amblard, Maxime
Publikováno v: Revue TAL
Revue TAL, 2015, 56 (1), pp.91-115
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2015, 56 (1), pp.91-115
International audience; RÉSUMÉ. L'une des questions du traitement automatique des langues est de discuter de la réalité de la capacité langagière des formalismes. Au delà de la modélisation linguistique, la théorie générative de Chomsky et
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aa4296e65982bacb19a138e8d7c4b56a
https://inria.hal.science/hal-01188669/file/amblardTALV3.pdf
Zobrazit plný text záznamu
9
Le Project Clinique du Ministère de la Santé et des services sociaux du Québec sous la loupe du cadre logique
Autor: Abdullah Afzal, Jacques-Bernard Gauthier
Le Québec a fait du Projet (Clinique) le pivot de son système de santé. Si sur le plan stratégique cela dénote une certaine audace, sur le terrain le Projet Clinique tarde à s¹implanter. Bien que le management de projet soit une approche de ge
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______645::4bc0052ecace7141a84c82be11967813
http://www.repad.org/ca/qc/uq/uqo/dsa/RePAd042014.pdf
Zobrazit plný text záznamu
10
Cadre logique pour les degrés ludiques. Formalisation d'une question réputée informalisable
Autor: Chalons, Christophe
Cet article est un complément à l'article "paradigme téléphonique". Il place les degrés ludiques dans le cadre de la logique (ils forment un modèle de la logique affine). Pour rappel: les degrés ludiques permettent essentiellement de mesurer l
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4781cb0420aba05ddbd2d1de04b914e4
https://hal.archives-ouvertes.fr/hal-01056193/file/degreludetlogaffi.pdf
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje