Bilaketaren emaitzak

  • Erakusten 1 - 3 emaitzak -- 3
Findu emaitzak
  1. 1

    Proof Technology in Mathematics Research and Teaching

    Argitaratua 2019
    Testu osoa
    Baliabide elektronikoa Liburua
  2. 2

    Structures Mères: Semantics, Mathematics, and Cognitive Science

    Argitaratua 2020
    Testu osoa
    Baliabide elektronikoa Liburua
  3. 3

    Algebraic Perspectives on Substructural Logics

    Argitaratua 2021
    Testu osoa
    Baliabide elektronikoa Liburua