𝔖 Bobbio Scriptorium

✦ LIBER ✦

Using a Computer Programming Environment and an Interactive Whiteboard to Investigate Some Mathematical Thinking

✍ Scribed by Merilyn Taylor; Ann Harlow; Michael Forret

Book ID: 113886034
Publisher: Elsevier
Year: 2010
Tongue: English
Weight: 203 KB
Volume: 8
Category: Article
ISSN: 1877-0428
DOI: 10.1016/j.sbspro.2010.12.078

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

21: The use of an interactive computer p

21: The use of an interactive computer program to enhance patient understanding of genetic screening and diagnostic concepts: a randomized trial

✍ William Grobman; Rebecca Mullen; Ashley Bergeron; Stacy Cooper Bailey; Richard L 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 62 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB

[IEEE 44th IEEE 2001 Midwest Symposium o

[IEEE 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 - Dayton, OH, USA (14-17 Aug. 2001)] Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) - An investigation into the use of a keypad-isomorphic symbolism as a method to increase the speed of human-computer interaction

✍ Wright, F. 📂 Article 📅 2001 🏛 IEEE ⚖ 295 KB