1 |
Plurilinguisme et enseignement des mathématiques ; Plurilinguisme et enseignement des mathématiques: Mise en perspectives des Journées Plurimaths 2020
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03553842 ; Éditions Lambert-Lucas, 2022 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
Abundance of rational points ; Abondance de points rationnels
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03514052 ; Algebraic Geometry [math.AG]. Université Paris-Saclay; Scuola normale superiore (Pise, Italie), 2021. English. ⟨NNT : 2021UPASM049⟩ (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Some contributions to computational Bayesian methods with application to phylolinguistics ; Quelques contributions aux méthodes computationnelles bayesiennes, avec applications à la phylolinguistique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03546821 ; Statistics [math.ST]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLD008⟩ (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
7 |
A categorical study of spectral dualities ; Une étude catégorique des dualités spectrales
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03609605 ; Category Theory [math.CT]. Université de Paris, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Popular Culture of Mathematics through Ancient Greek Old Comedy
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Analyzing Non-Textual Content Elements to Detect Academic Plagiarism
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Proceedings of the Seventh ERME Topic Conference on Language in the Mathematics Classroom
|
|
|
|
In: Seventh ERME Topic Conference on Language in the Mathematics Classroom ; https://hal.archives-ouvertes.fr/hal-02970540 ; Seventh ERME Topic Conference on Language in the Mathematics Classroom, Feb 2020, Montpellier, France. 2020, 978-82-7151-200-2 (2020)
|
|
BASE
|
|
Show details
|
|
11 |
CRITIQUE OF IMPURE REASON ; CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02923307 ; Studies in Theory and Behavior, 2020, ⟨10.5281/zenodo.5458352⟩ (2020)
|
|
BASE
|
|
Show details
|
|
12 |
A type theoretic approach to weak w-categories and related higher structures ; Catégories faibles et structures supérieures afférentes en théorie des types
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03106197 ; Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩ (2020)
|
|
BASE
|
|
Show details
|
|
13 |
Vermenschlichte Tiere und der Unterschied zwischen menschlichen Sprachen und Naturwissenschaften ; Humanized animals and the inherent differences between human languages and natural sciences
|
|
|
|
In: 2020, 8 S. (2020)
|
|
BASE
|
|
Show details
|
|
14 |
Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02482320 ; Logic [math.LO]. Aix-Marseille Université (AMU); Sapienza University of Rome, 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
15 |
Les pratiques de récit pour penser les didactiques ; Les pratiques de récit pour penser les didactiques: Dialogue entre histoire et autres disciplines (français, mathématiques, sciences)
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02178296 ; Presses universitaires de Rennes, 2019 ; http://www.pur-editions.fr (2019)
|
|
BASE
|
|
Show details
|
|
16 |
Analyse des données textuelles
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02416659 ; Presses de l'Université du Québec, 11, XXXII-472 p., 2019, Mesure et évaluation, Gilles Raîche, 978-2-7605-5052-0 ; https://www.puq.ca/catalogue/livres/analyse-des-donnees-textuelles-3651.html (2019)
|
|
BASE
|
|
Show details
|
|
17 |
Le livre sur les calculs effectués avec des bâtonnets ; Le livre sur les calculs effectués avec des bâtonnets: Un manuscrit du – IIe siècle excavé à Zhangjiashan
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03453516 ; 2019, ⟨10.4000/books.pressesinalco.18815⟩ (2019)
|
|
BASE
|
|
Show details
|
|
18 |
Analysis of source code quality through a logic-based technique and application to robotics ; Analyse de la qualité de code via une approche logique et application à la robotique
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02367673 ; Sciences de l'ingénieur [physics]. UNIVERSITE DE TOULOUSE, 2019. Français (2019)
|
|
BASE
|
|
Show details
|
|
19 |
Le livre sur les calculs effectués avec des bâtonnets ; Le livre sur les calculs effectués avec des bâtonnets: Un manuscrit du – IIe siècle excavé à Zhangjiashan
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03453516 ; 2019, ⟨10.4000/books.pressesinalco.18815⟩ (2019)
|
|
BASE
|
|
Show details
|
|
20 |
Emerging bilinguals' mathematical agency in a teaching experiment : tomar posesión y entender las ideas matemáticas ; Tomar posesión y entender las ideas matemáticas
|
|
|
|
BASE
|
|
Show details
|
|
|
|