Le sentiment religieux base logique de la morale?Comte Perovsky-Petrovo-Solovovo

Contribution à l'étude de la virémie chez le mouton Inoculé avec le virus de la Fièvre Aphteuse.

Complexité de la réduction en logique combinatoire

le theme de la solitude dans le proces-verbal de le clezio

ژان ماری گوستو لوکلزیو در سال 1963 با نشر اولیین کتابش صورت جلسه شناخته شد و بلافاصله با ان نایل به دریافت جایزه امد.

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...