1 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
International Phonetic Alphabet (Vietnamese version) ; Alphabet Phonétique International (version vietnamienne) ; Bảng phiên âm quốc tế. Bản tiếng Việt
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02469549 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
3 |
International Phonetic Alphabet (Vietnamese version) ; Alphabet Phonétique International (version vietnamienne) ; Bảng phiên âm quốc tế. Bản tiếng Việt
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02469549 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
4 |
System description: The Tableau workbench
|
|
|
|
In: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) ; http://dx.doi.org/10.1016/j.entcs.2009.02.025 (2015)
|
|
BASE
|
|
Show details
|
|
5 |
Le rôle du tableau “noir” dans le déroulement des interactions en cours magistral
|
|
|
|
In: Spécificités et diversités des interactions didactiques ; https://halshs.archives-ouvertes.fr/halshs-01386346 ; Rivière, V. Spécificités et diversités des interactions didactiques, Riveneuves Éditions, 2012 (2012)
|
|
BASE
|
|
Show details
|
|
9 |
La conceptualisation des ressources. Apports pour la formation des professeurs de mathématiques.
|
|
|
|
In: Ressources vives. Le travail documentaire des professeurs en mathématiques. ; https://hal.archives-ouvertes.fr/hal-00497304 ; Ghislaine Gueudet et Luc Trouche. Ressources vives. Le travail documentaire des professeurs en mathématiques., Presses Universitaires de Rennes et INRP, pp.23-40, 2010, Paideia (2010)
|
|
BASE
|
|
Show details
|
|
10 |
La raison du nuage de tags : format graphique pour le régime de l’exploration ?
|
|
|
|
In: Communication & langages, N 160, 2, 2009-06-01, pp.111-125 (2009)
|
|
BASE
|
|
Show details
|
|
11 |
A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web ; Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00507482 ; Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English (2008)
|
|
BASE
|
|
Show details
|
|
12 |
Hybrid Logic for Possibilistic Reasoning
|
|
|
|
In: http://www.iis.sinica.edu.tw/~liaucj/publications/c019.ps (2001)
|
|
BASE
|
|
Show details
|
|
16 |
Big Data Visualization : learn effective tools and techniques to separate big data into manageable and logical components for efficient data visualization
|
|
|
|
IDS Mannheim
|
|
Show details
|
|
17 |
Deconstruct and Reconstruct: Using Topic Modeling on an Analytics Corpus
|
|
|
|
In: http://ceur-ws.org/Vol-1137/lakdatachallenge2014_submission_1.pdf
|
|
BASE
|
|
Show details
|
|
|
|