Login or register for free to remove ads.
Search Results
2 papers matched
Sorting by Relevance | Date | Popularity | Publication
A tool to practice formal proofs
World Conference on Educational Multimedia, Hypermedia and Telecommunications(EDMEDIA)2001:1
World Conference on Educational Multimedia, Hypermedia and Telecommunications(EDMEDIA)2001:1
This paper presents a Logic Tutor, a tool to support computer science students in their learning
of logic, more specifically in their learning of formal proofs. The current tool is equipped with a deduction
system for propositional logic. However...
Individuation of Female Adolescents: Relations with Adolescents' Perceptions of Maternal Behavior and with Adolescent-Mother Discrepancies in Perceptions
Journal of Adolescence (ISSN-0140-1971) 35:2
Journal of Adolescence (ISSN-0140-1971) 35:2
The study examined how individuality and connectedness of female adolescents relate to their perceptions of maternal behavior and to adolescent-mother discrepancies in perceptions of maternal behavior. Seventy 16.5-year-old daughters and their...