17 |
Communicating cognitive agents: modeling and formalization
|
|
|
|
In: https://hal-univ-tlse3.archives-ouvertes.fr/tel-03484173 ; Artificial Intelligence [cs.AI]. Université Toulouse 3 Paul Sabatier, 2015 (2015)
|
|
BASE
|
|
Show details
|
|
18 |
Synchronizing Relations on Words
|
|
|
|
In: ISSN: 1432-4350 ; EISSN: 1433-0490 ; Theory of Computing Systems ; https://hal.archives-ouvertes.fr/hal-01778459 ; Theory of Computing Systems, Springer Verlag, 2015, 57 (2), pp.287 - 318. ⟨10.1007/s00224-014-9584-2⟩ (2015)
|
|
BASE
|
|
Show details
|
|
19 |
Features of an Error Correction Memory to Enhance Technical Texts Authoring in LELIE
|
|
|
|
In: ISSN: 2234-0068 ; International Journal of Knowledge Content Development & Technology ; https://hal.archives-ouvertes.fr/hal-01303853 ; International Journal of Knowledge Content Development & Technology, 2015, vol. 5 (n° 2), pp. 75-101. ⟨10.5865/IJKCT.2015.5.2.075⟩ (2015)
|
|
BASE
|
|
Show details
|
|
20 |
Language and students' conceptions of logic in undergraduate mathematics
|
|
|
|
In: CERME 9 - Ninth Congress of the European Society for Research in Mathematics Education ; https://hal.archives-ouvertes.fr/hal-01288648 ; CERME 9 - Ninth Congress of the European Society for Research in Mathematics Education, Charles University in Prague, Faculty of Education; ERME, Feb 2015, Prague, Czech Republic. pp.2283-2284 (2015)
|
|
BASE
|
|
Show details
|
|
|
|