Cover Image

Symbolic computation and education /

Corporate Author:	International Seminar on Symbolic Computation in Education Beihang University)
Other Authors:	Li, Shangzhi,, Wang, Dongming,, Zhang, Jingzhong,
Format:	Book
Language:	English
Published:	Singapore : World Scientific, c2007.
Subjects:	Mathematics > Computer-assisted instruction Computable functions > Data processing Logic, Symbolic and mathematical

Similar Items

Symbolic computation and education
Published: (2007)

Mathematica in education and research.
Published: (1994)

Learning from computers : mathematics education and technology /
Published: (1993)

Mindstorms: children, computers and powerful ideas/
by: Papert, Seymour
Published: (1993)

Micromath a journal of the Association of Teachers of Mathematics
Published: (1985)

The Journal of computers in mathematics and science teaching.
Published: (1981)

ICT and primary mathematics
Published: (2003)

Computer environments for children : a reflection on theories of learning and education /
by: Solomon, Cynthia
Published: (1986)

Exploiting mental imagery with computers in mathematics education /
Published: (1995)

Mathematics education and technology : rethinking the terrain: the 17th ICMI study /
Published: (2010)

Mathematics education and technology-rethinking the terrain: the 17th ICMI study/
Published: (2009)

Learning from computers: mathematics education and technology/
Published: (1993)

Exploiting mental imagery with computers in mathematics education/
Published: (1995)

Computers and mathematics : the use of computers in Undergraduate Instruction: a project of the Committee on Computers in Mathematics Education of the Mathematical Association of America /
Published: (1988)

Mathematics with Excel /
by: Sj箳trand, David.
Published: (1994)

Teaching secondary mathematics with ICT
Published: (2004)

Elementary math/
by: Dublin, Peter
Published: (1994)

Technology in mathematics teaching: a bridge between teaching and learning/
Published: (1995)

Learning mathematics and Logo /
Published: (1992)

Teaching mathematics using ICT
by: Oldknow, A. J. 1946-
Published: (2010)

Teaching mathematics using ICT/
by: Oldknow, A. J., 1946-
Published: (2010)

Mindstorms : children, computers, and powerful ideas /
by: Papert, Seymour.
Published: (1993)

Models and computability : invited papers from logic colloquium ʹ97 - European meeting of the association for symbolic logic, Leeds, July 1997 /
Published: (1999)

Computability and logic/
by: Cohen, Daniel E.
Published: (1987)

Διδασκαλία μαθηματικών με χρήση Η/Υ : πως διδάσκονται τα μαθηματικά τον 21ο αιώνα /
by: Τουμάσης, Μπάμπης.
Published: (2003)

Computability and logic /
by: Boolos, George S
Published: (2007)

Computability and logic /
by: Boolos, George
Published: (1989)

Computability and logic /
by: Boolos, George S.
Published: (1980)

Computability, complexity, logic/
by: Bo?rger, E. 1946-
Published: (1989)

Computers in mathematics education/
Published: (1984)

Models and computabilty :invited papers from Logic Colloquium ʹ97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Published: (1999)

Proceedings of the fifth international congress of Logic, methodology and philosophy of science, London, Ontario Canada 1975/
Published: (1977)

Constructive logics/
by: Gallier, Jean
Published: (1991)

Computers in education today/
by: Mandell, Colleen J.
Published: (1989)

Computers in education 5-13/
Published: (1988)

The computer modelling of mathematical reasoning/
by: Bundy, Alan
Published: (1983)

Technology in mathematics education : proceedings of the 19th annual conference of the Mathematics Education Research Group of Australasia (MERGA) June 30-July 3, 1996 at the University of Melbourne /
Published: (1996)

Computation as logic /
by: Lalement, Rene
Published: (1993)

Computation as logic/
by: Lalement, Rene
Published: (1993)

Journal of computing in childhood education.
Published: (1989)

Cannot write session to /tmp/vufind_sessions/sess_o64tvr6ft0k51vpijqfsrn6no6