31
TITLE: Structured editing of handwritten mathematics
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
INDEXED IN: DBLP
IN MY: DBLP
32
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Alcino Cunha ; Carlos Baquero ; Paulo Silva ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
33
TITLE: Students' feedback on teaching mathematics through the calculational method
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2009, SOURCE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
34
TITLE: Which Mathematics for the Information Society?
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
35
TITLE: Work in progress - Structure editing of handwritten mathematics
AUTHORS: Mendes, A ;
PUBLISHED: 2008, SOURCE: 38th ASEE/IEEE Frontiers in Education Conference, FIE 2008 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Página 4 de 4. Total de resultados: 35.