41
TÍTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Logic Training through Algorithmic Problem Solving
AUTORES: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Handle
NO MEU: ORCID | DBLP
43
TÍTULO: Students' feedback on teaching mathematics through the calculational method
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
44
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
45
TÍTULO: Work in progress - Structure editing of handwritten mathematics
AUTORES: Mendes, A ;
PUBLICAÇÃO: 2008, FONTE: 38th ASEE/IEEE Frontiers in Education Conference, FIE 2008 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 5 de 5. Total de resultados: 45.