Autor der Publikation

A General Theorem Prover for Quantified Modal Logics.

, , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Graph-Oriented Perspective for Querying Music Scores., und . INFORSID, Seite 63-78. (2022)Evaluation d'un système d'information et de connaissance - De l'importance de la prise en compte de la connaissance (C) ., , , , , , , und . INFORSID, Seite 371-378. (2012)FURQL : une extension floue de SPARQL., , und . INFORSID, Seite 169-178. (2018)Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride., , und . BDA, (2003)Quality Awareness over Graph Pattern Queries., und . IDEAS, Seite 90-97. ACM, (2017)Processing Fuzzy Relational Queries Using Fuzzy Views., , , und . FUZZ-IEEE, Seite 1-6. IEEE, (2019)A Methodology for Quality Assessment in Collaborative Score Libraries., , , , und . ISMIR, Seite 330-336. (2016)Limites de l'évaluation d'un Système d'Information : une analyse fondée sur l'expérience pratique ., , , , , und . INFORSID, Seite 411-428. (2012)A General Theorem Prover for Quantified Modal Logics., , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2002)Un premier pas vers l'utilisation d'une analyse structurelle de réseau social pour évaluer la qualité d'un processus métier., und . INFORSID, Seite 177-191. (2010)