History
1
149


Help on query formulation
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 149 total

On the solution of linear mean recurrences. (English)
Am. Math. Mon. 121, No. 6, 486-498 (2014).
Classification: I35 A65
1
Origami 5: Fifth international meeting of origami science, mathematics, and education (5OSME), Singapore, July 13‒17, 2010. Proceedings. (English)
Boca Raton, FL: CRC Press (ISBN 978-1-56881-714-9/pbk). xiv, 646~p. (2011).
Classification: A65 G55 G85 Reviewer: Vasyl Gorkaviy (Kharkov)
2
Logicamente: A virtual learning environment for logic based on learning objects. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 223-230 (2011).
Classification: E35 D45 R25 R55 U55 A65
3
The AproS project: Teaching logic to business and engineering students. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 190-197 (2011).
Classification: E35 E55 R25 R45 A65
4
Teaching sound principles about invalidity. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 178-182 (2011).
Classification: E35 D45 A65
5
A teaching tool for proving equivalences between logical formulae. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 154-161 (2011).
Classification: E35 D45 R25 R55 U55 A65
6
Logic in action. An open logic courseware project. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 141-153 (2011).
Classification: E35 D45 R25 R55 U55 A65
7
Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 131-140 (2011).
Classification: E35 R25 R55 U55 A65
8
The SELL project: A learning tool for e-learning logic. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 123-130 (2011).
Classification: E35 D45 R25 R55 U55 A65
9
The many rewards of putting absolutely everything into introductory logic. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 109-122 (2011).
Classification: E35 D45 A65
10
{\sc Panda}: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 85-92 (2011).
Classification: E35 E55 P25 R25 R45 A65
11
{\sc Satoulouse}: The computational power of propositional logic shown to beginners. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 77-84 (2011).
Classification: E35 P25 R25 A65
12
Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). xi, 257~p. (2011).
Classification: A65 E35
13
Long-range interacting systems. Lecture notes of the Les Houches summer school, Volume 90, France, August 4‒29, 2008. (English)
Oxford: Oxford University Press (ISBN 978-0-19-957462-9/hbk). xxi, 583~p. (2010).
Classification: A65 I95 M55
14
Difficulties on understanding the indefinite integral. (English)
Woo, Jeong-Ho (ed.) et al., Proceedings of the 31st annual conference of the International Group for the Psychology of Mathematics Education, PME, Seoul, Korea, July 8‒13, 2007. Vol. 1-4. Seoul: The Korea Society of Educational Studies in Mathematics. Part 3, 265-272 (2007).
Classification: I55 C45 A65
15
An activity for development of the understanding of the concept of limit. (English)
Woo, Jeong-Ho (ed.) et al., Proceedings of the 31st annual conference of the International Group for the Psychology of Mathematics Education, PME, Seoul, Korea, July 8‒13, 2007. Vol. 1-4. Seoul: The Korea Society of Educational Studies in Mathematics. Part 4, 105-112 (2007).
Classification: I35 C35 A65
16
Reasoning with metaphors and constructing an understanding of the mathematical function concept. (English)
Woo, Jeong-Ho (ed.) et al., Proceedings of the 31st annual conference of the International Group for the Psychology of Mathematics Education, PME, Seoul, Korea, July 8‒13, 2007. Vol. 1-4. Seoul: The Korea Society of Educational Studies in Mathematics. Part 2, 209-216 (2007).
Classification: I25 C35 A65
17
Embodied, symbolic and formal aspects of basic linear algebra concepts. (English)
Woo, Jeong-Ho (ed.) et al., Proceedings of the 31st annual conference of the International Group for the Psychology of Mathematics Education, PME, Seoul, Korea, July 8‒13, 2007. Vol. 1-4. Seoul: The Korea Society of Educational Studies in Mathematics. Part 4, 201-208 (2007).
Classification: H65 C35 A65
18
Raising students’ understanding: linear algebra. (English)
Woo, Jeong-Ho (ed.) et al., Proceedings of the 31st annual conference of the International Group for the Psychology of Mathematics Education, PME, Seoul, Korea, July 8‒13, 2007. Vol. 1-4. Seoul: The Korea Society of Educational Studies in Mathematics. Part 2, 65-72 (2007).
Classification: H65 C35 A65
19
I need the teacher to tell me if I am right or wrong. (English)
Woo, Jeong-Ho (ed.) et al., Proceedings of the 31st annual conference of the International Group for the Psychology of Mathematics Education, PME, Seoul, Korea, July 8‒13, 2007. Vol. 1-4. Seoul: The Korea Society of Educational Studies in Mathematics. Part 1, 45-64 (2007).
Classification: D15 C15 A65
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 149 total

Valid XHTML 1.0 Transitional Valid CSS!