( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A General Theorem Prover for Quantified Modal Logics.

, , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 266-280. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Virginie Galtier

Virginie Nägele

Virginie Lallemand

Virginie Ratz

Virginie Ollier

 

Другие публикации лиц с тем же именем

Towards a Graph-Oriented Perspective for Querying Music Scores., и . INFORSID, стр. 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) ., , , , , , , и . INFORSID, стр. 371-378. (2012)FURQL : une extension floue de SPARQL., , и . INFORSID, стр. 169-178. (2018)Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride., , и . BDA, (2003)Quality Awareness over Graph Pattern Queries., и . IDEAS, стр. 90-97. ACM, (2017)Processing Fuzzy Relational Queries Using Fuzzy Views., , , и . FUZZ-IEEE, стр. 1-6. IEEE, (2019)A Methodology for Quality Assessment in Collaborative Score Libraries., , , , и . ISMIR, стр. 330-336. (2016)Limites de l'évaluation d'un Système d'Information : une analyse fondée sur l'expérience pratique ., , , , , и . INFORSID, стр. 411-428. (2012)A General Theorem Prover for Quantified Modal Logics., , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 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., и . INFORSID, стр. 177-191. (2010)