Author:
Edgar Serna M.,Antonio Polo José
Publisher
Universidad Nacional Autonoma de Mexico
Reference72 articles.
1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof;Andrews,2002
2. Non-Determinism: An Abstract Concept in Computer Science Studies;Armoni;Computer Science Education,2007
3. Abstraction Ability as an Indicator of Success for Learning Object-Oriented Programming?;Bennedsen;SIGC-SE Bulletin,2006
4. The Roles of Body and Mind in Abstract Thought;Boroditsky;Psychological Science,2002
5. Teaching High School Students Applied Logical Reasoning;Bouhnik;Journal of Information Technology Education,2009