Значок книги

Symbolic computation and education

Сохранить в:

Библиографические подробности
Корпоративные авторы:	ProQuest (Firm), International Seminar on Symbolic Computation in Education
Другие авторы:	Li, Shangzhi, 1947-, Wang, Dongming, 1961-, Zhang, Jingzhong, 1936-
Формат:	Электронный ресурс Материалы конференции eКнига
Язык:	английский
Опубликовано:	Singapore ; Hackensack, NJ : World Scientific, c2007.
Предметы:	Mathematics > Computer-assisted instruction > Congresses. Computable functions > Data processing > Congresses. Logic, Symbolic and mathematical > Congresses. Electronic books.
Online-ссылка:	Click to View
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Опубликовано: (1999)

ICT & primary mathematics
по: Williams, John, 1936-
Опубликовано: (2004)

Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel /
Опубликовано: (2016)

Teaching mathematics using ICT
по: Oldknow, A. J. (Adrian James), 1946-
Опубликовано: (2010)

Excel for the math classroom
по: Hazlett, Bill
Опубликовано: (2007)

Computers and education in the 21st century
Опубликовано: (2000)

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Опубликовано: (2006)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Опубликовано: (2007)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Опубликовано: (2010)

Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Опубликовано: (2013)

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Опубликовано: (1988)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Опубликовано: (2012)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Опубликовано: (2009)

New perspectives on games and interaction
Опубликовано: (2008)

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 /
Опубликовано: (1987)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Опубликовано: (1998)

Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Опубликовано: (2011)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Опубликовано: (2007)

Effective mathematics of the uncountable /
Опубликовано: (2013)

Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /
Опубликовано: (2002)

Applied computational intelligence proceedings of the 6th International FLINS Conference, Blankenberge, Belgium, September 1-3, 2004 /
Опубликовано: (2004)

Logic, computation, hierarchies /
Опубликовано: (2014)

Recent progress in the Boolean domain /
Опубликовано: (2014)

Infinity and truth /
Опубликовано: (2014)

Frege importance and legacy /
Опубликовано: (1996)

Corpora in the foreign language classroom selected papers from the Sixth International Conference on Teaching and Language Corpora (TaLC 6), University of Granada, Spain, 4-7 July, 2004 /
Опубликовано: (2007)

Beyond concordance lines : corpora in language education /
Опубликовано: (2021)

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Опубликовано: (1990)

Count me in! K-5 : including learners with special needs in mathematics classrooms /
по: Storeygard, Judith
Опубликовано: (2012)

Folk algebras in algebra logic and computer science /
по: Frias, Marcelo Fabian, 1968-
Опубликовано: (2002)

Symbolic logic syntax, semantics, and proof /
по: Agler, David W., 1982-
Опубликовано: (2013)

Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Опубликовано: (2002)

Artificial intelligence in education shaping the future of learning through intelligent technologies /
Опубликовано: (2003)

Differentiating math instruction, K-8 : common core mathematics in the 21st century classroom /
по: Bender, William N.
Опубликовано: (2013)

Hands-on Julia programming : an authoritative guide to the production-ready systems in Julia /
по: Dash, Sambit Kumar
Опубликовано: (2022)

Symbols in life and art the Royal Society of Canada symposium in memory of George Whalley /
Опубликовано: (1987)

Frontiers of applied and computational mathematics New Jersey Institute of Technology, USA, 19-21 May 2008 /
Опубликовано: (2008)

Recent advances in computational sciences selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005 /
Опубликовано: (2008)

Math for all : participant book grades 3-5 /
Опубликовано: (2011)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
по: Hopkins, Burt C.
Опубликовано: (2011)