Skip to contents

  1. Gohard, Philippe-Antoine [Author] ; Toulouse 3 [Contributor]; Devy, Michel [Contributor]; Vandeportaele, Bertrand [Contributor]

    De la réalité augmentée sans marqueur pour l'aménagement d'intérieur à la réalité diminuée sur plateforme mobile ; From markerless augmented reality for home design towards diminished reality on mobile devices

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2018-10-19

  2. Alassaf, Ruba [Author]; Schmidt, Renate A. [Author]; Sattler, Uli [Author]

    Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: SOQE (2. : 2021 : Online): SOQE 2021, the Second Workshop on Second-Order Quantifier Elimination and Related Topics ; (2021), Seite 15-27

  3. Zhu, Xinhao [Author]; Wu, Xuan [Author]; Zhao, Ruiqing [Author]; Dong, Yu [Author]; Zhao, Yizheng [Author]

    Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021

  4. Zhu, Xinhao [Author]; Wu, Xuan [Author]; Zhao, Ruiqing [Author]; Zhao, Yu Dong Yizheng [Author]

    Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: SOQE (2. : 2021 : Online): SOQE 2021, the Second Workshop on Second-Order Quantifier Elimination and Related Topics ; (2021), Seite 122-134

  5. Earl, J. P.

    On uniform interpolation sets

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge University Press (CUP), 1966

    Published in: Mathematical Proceedings of the Cambridge Philosophical Society