m

Documents  déduction | enregistrements trouvés : 12

O
     

-A +A

D P Q P Q P Q
1 La logique 15 2004 G
1 Sweet reason 2000 G
1 Les mathématiques 1997 G
1 Complexity of proofs and their transformations in axiomatic theories 128 1993 G
1 Conditional term rewriting systems 308 1988 G
1 Est-il impossible d'enseigner les mathématiques ? 72 1980 G
1 Theoretical concepts and hypothetico-inductive inference 1973 G
1 Logique et enseignement de la mathématique 001 1971 G
1 Understanding the mathematical way of thinking. The registers of semiotic representations 2017 G
1 Le problème QAT, symétrie, vérification, algorithme de construction. La pratique de l'élève 1984 G
1 The contribution of a formal study of algorithms on deductive reasoning ability of high school geometry students 1979 G
1 Premier cycle, première année 1974 G
Z