In this paper, we first give a description of a surjective unit-preserving real-linear uniform isometry $ T : A longrightarrow B$,  where $ A $ and $ B $ are complex function spaces on compact Hausdorff spaces $ X $ and $ Y $, respectively, whenever ${rm ER}left (A, Xright ) = {rm Ch}left (A, Xright )$ and ${rm ER}left (B, Yright ) = {rm Ch}left (B, Yright )$. Next, we give a description of $ T...

Abstract Explanations for description logic (DL) entailments provide important support the maintenance of large ontologies. The “justifications” usually employed this purpose in ontology editors pinpoint parts responsible a given entailment. Proofs make intermediate reasoning steps explicit, and thus explain how consequence can actually be derived. We present an interactive system exploring pro...

marcel proust est un des écrivains le plus fameux de la première moitié du xxe siècle. son ouvrage, a la recherche du temps perdu, en sept volumes, est à la fois le livre de sa propre vie et de la société de son époque. les personnages féminins sont au centre de son œuvre. la duchesse de guermantes est une de ces figures féminines qui occupe une place centrale dans la recherche du temps perdu. ...