( en | de | ru )

 

Disambiguation of "Holland-Minkley, Amanda M."

Author of the publication

copydeleteadd this publication to your clipboard
Restructuring Formal Mathematics for Natural Texts.

. Cornell University, USA, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nina Minkley

Oliver Minkley

Wolfgang Minkley

Amanda Smith

Amanda Beyer

 

Other publications of authors with the same name

A Panel for Distinctive Computing Curricula: Programs Aligned with Liberal Arts Institutional and Departmental Identity., , , and . SIGCSE (2), page 1541-1542. ACM, (2024)Using Self-Efficacy Surveys as a Tool for Student Reflection.. SIGCSE, page 1414. ACM, (2020)Best Practices for IRB Approval: Four Perspectives., , , , and . SIGCSE, page 267-268. ACM, (2015)Computer Science Curriculum Guidelines: A New Liberal Arts Perspective., , , , , , , , and . SIGCSE (1), page 617-623. ACM, (2023)Strategies for Including Soft Skills and Interdisciplinary Content in CS Education (Abstract Only)., , and . SIGCSE, page 725. ACM, (2017)Planning Proof Content for Communicating Induction.. INLG, page 167-172. Association for Computational Linguistics, (2002)Restructuring Formal Mathematics for Natural Texts.. Cornell University, USA, (2004)Communicating What Liberal Arts Colleges Contribute to Computer Science (Abstract Only)., , , and . SIGCSE, page 722. ACM, (2017)Computing Education in Liberal Arts Colleges: A Status Report of the SIGCSE Committee., , and . SIGCSE, page 675-676. ACM, (2017)Verbalization of High-Level Formal Proofs., , and . AAAI/IAAI, page 277-284. AAAI Press / The MIT Press, (1999)