Evmorfia-Iro Bartzia

Discipline

Education (2)

Type de document

Colloques et conférences (2)

Co-auteur

Date

Source

Mot-clé

analyse (2) Analysis (2) enseignement (1) logiciel (1) science (1) recherche (1) informatique (1) champ (1) éducation (1) ingéniérie (1) Education (1) Cryptography (1) Language (1) Computer programs (1) Methods (1) Specimens (1) Software (1) Description and travel (1) Computer science (1) Charts, diagrams, etc (1) Will (1) Thought and thinking (1) Teaching (1) Teachers (1) Students (1) Science (1) Research (1) Mathematics (1) Learning (1) Impact (1)

Documents écrit par Evmorfia-Iro Bartzia (2) | parle de Evmorfia-Iro Bartzia (0)

Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation
Simon Modeste et al. (10 juil. 2023)
Underlying theories of proof assistants and potential impact on the teaching and learning of proof
Evmorfia-Iro Bartzia et al. (5 juil. 2023)