Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 85, doi. 10.1564/tme_v22.2.07
- By:
- Publication type:
- Article
Works matching IS 17442710 AND DT 2015 AND VI 22 AND IP 2
Results: 8
1
2
Using TI-Nspire in a Modelling Teacher's Training Course.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 79, doi. 10.1564/tme_v22.2.06
- By:
- Publication type:
- Article
3
Differences between Expected Answers and the Answers Given by Computer Algebra Systems to School Equations.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 71, doi. 10.1564/tme_v22.2.05
- By:
- Publication type:
- Article
4
From Calculus to Dynamical Systems through DGS and CAS.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 65, doi. 10.1564/tme_v22.2.04
- By:
- Publication type:
- Article
5
What to use for mathematics in high school: PC, tablet or graphing calculator?
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 59, doi. 10.1564/tme_v22.2.03
- By:
- Publication type:
- Article
6
Study of Historical Geometric Problems by Means of CAS and DGS.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 53, doi. 10.1564/tme_v22.2.02
- By:
- Publication type:
- Article
7
Designing Spatial Visualisation Tasks for Middle School Students with a 3D Modelling Software: An Instrumental Approach.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 45, doi. 10.1564/tme_v22.2.01
- By:
- Publication type:
- Article
8
Guest Editorial.
- Published in:
- International Journal for Technology in Mathematics Education, 2015, v. 22, n. 2, p. 43, doi. 10.1564/174427115838794252
- By:
- Publication type:
- Article