Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Déduction (logique)"'
Autor:
Renaud Limelette
Publikováno v:
Gouvernance, justice et santé
Gouvernance, justice et santé, CHJ Éditeur, p. 145-174, 2020, 2-910114-36-8
Renaud Limelette
Gouvernance, justice et santé, CHJ Éditeur, p. 145-174, 2020, 2-910114-36-8
Renaud Limelette
Depuis leur développement à la fin du XVIIe siècle et jusqu’en 1747 les hôpitaux militaires ne connaissaient pas une réglementation uniforme sur l’ensemble du royaume. Ce fut à cette date que la gouvernance des hôpitaux militaires changea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e9a70bba871888fc01b929f3d9cbe7a7
https://hal.univ-lille.fr/hal-02967873
https://hal.univ-lille.fr/hal-02967873
Autor:
Duranceau, Jacques
La présente recherche porte en bonne partie sur le premier chapitre de l'Analytique des concepts, également désigné par Kant comme étant la déduction métaphysique. Pour l'essentiel, ce chapitre présente deux tables, celle des formes logiques
Externí odkaz:
http://www.archipel.uqam.ca/692/1/M10129.pdf
Autor:
Le Goffic, Caroline
Publikováno v:
Dalloz IP/IT
Dalloz IP/IT, Dalloz, 2018, pp.312
Dalloz IP/IT, Dalloz, 2018, pp.312
International audience; Observations sous Tribunal de l'Union européenne, 7 décembre 2017, aff. T-61/16, The Coca-Cola Company c/ EUIPO - Qualification de la décision : Importante
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::69a4a8f84c37f321758c5f56f460297c
https://halshs.archives-ouvertes.fr/halshs-02227448
https://halshs.archives-ouvertes.fr/halshs-02227448
Autor:
Degroote, Arnaud
Pour des tâches simples ou dans un environnement contrôlé, la coordination des di érents processus internes d'un robot est un problème relativement trivial, souvent implémenté de manière ad-hoc. Toutefois, avec le développement de robots plu
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00766861
http://tel.archives-ouvertes.fr/docs/00/76/68/61/PDF/thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/76/68/61/PDF/thesis.pdf
Autor:
Lemay, Isabelle
De nombreuses recherches ont mis en évidence la difficulté des élèves quant au passage de la géométrie pratique à la géométrie théorique entre l'enseignement primaire et secondaire. Néanmoins, peu de celles-ci se sont penchées sur les sol
Externí odkaz:
http://www.archipel.uqam.ca/4637/1/M12215.pdf
Autor:
Carloni, Olivier
Le travail de thèse présenté dans ce document porte sur la conception d'un service de validation et d'enrichissement d'annotations pour un outil industriel de gestion des connaissances basé sur le langage des Topic Maps (TM). Un tel service néce
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00387017
http://tel.archives-ouvertes.fr/docs/00/38/70/17/PDF/These-Olivier-Carloni.pdf
http://tel.archives-ouvertes.fr/docs/00/38/70/17/PDF/These-Olivier-Carloni.pdf
Autor:
Carloni, Olivier
Publikováno v:
Génie logiciel [cs.SE]. Université Montpellier II-Sciences et Techniques du Languedoc, 2008. Français
This thesis deals with the design of an annotation validation and enrichment service for an industrial knowledge management tool based on the Topic Maps language (TM). As such a service needs reasoning capabilities on knowledge, one part of the work
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::e99249e4f73b0f825b0795445f6ce300
https://tel.archives-ouvertes.fr/tel-00387017/document
https://tel.archives-ouvertes.fr/tel-00387017/document
Autor:
Scharff, Christelle
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 1999. Français. ⟨NNT : 1999NAN10271⟩
Non disponible / Not available
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33279f82cdb12c11d35386c5722ba1c8
https://hal.univ-lorraine.fr/tel-01747107
https://hal.univ-lorraine.fr/tel-01747107
Autor:
Amaniss, Ali
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 1996. Français. ⟨NNT : 1996NAN10092⟩
Not available
Ce travail se situe dans le cadre de la déduction automatique. Il traite d'une méthode, appelée la schématisation, utilisée pour remédier à des problèmes d'expressivité, d'efficacité et de divergence. La schématisation e
Ce travail se situe dans le cadre de la déduction automatique. Il traite d'une méthode, appelée la schématisation, utilisée pour remédier à des problèmes d'expressivité, d'efficacité et de divergence. La schématisation e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::05f81cb14cb150a9eaae4ac9d8b3e2df
https://hal.univ-lorraine.fr/tel-01747757
https://hal.univ-lorraine.fr/tel-01747757
Autor:
Vigneron, Laurent
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 1994. Français. ⟨NNT : 1994NAN10371⟩
In this document, we propose techniques of automated deduction for proving properties by refutation in first order logic, These proofs are done modulo a set of axioms forming a regular theory E.The Inference systems defined are based on resolution an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::61c279aa9ca3934c3b775695afd62bf4
https://hal.univ-lorraine.fr/tel-01748621/document
https://hal.univ-lorraine.fr/tel-01748621/document