( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computational Thinking Resources Inspired by Bebras.

, , , , и . ITiCSE (2), стр. 663. ACM, (2023)

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.

Kelly Monahan

Rosemary Passos

Rosemary Combridge

Rosemary Burton

Rosemary Park

 

Другие публикации лиц с тем же именем

A Sound Execution Semantics for ATL via Translation Validation - Research Paper., , и . ICMT, том 9152 из Lecture Notes in Computer Science, стр. 133-148. Springer, (2015)Creating new Program Proofs by Combining Abductive and Deductive Reasoning., , и . ICCC, стр. 395-399. Association for Computational Creativity (ACC), (2021)Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems., , и . DSN-S, стр. 197-199. IEEE, (2023)An Institution for Event-B., , и . WADT, том 10644 из Lecture Notes in Computer Science, стр. 104-119. Springer, (2016)A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks., , , , , и . UKICER, стр. 19:1. ACM, (2022)Comparing Differentiable Logics for Learning with Logical Constraints., , и . CoRR, (2024)On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin., , и . ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 821-838. (2016)Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability., , и . ICFEM, том 10610 из Lecture Notes in Computer Science, стр. 140-156. Springer, (2017)Upcycling Formal Specifications for Similar Implementations with Arís., , и . ICCBR Workshops, том 3017 из CEUR Workshop Proceedings, стр. 90-91. CEUR-WS.org, (2021)Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers., , , , и . ITiCSE (1), стр. 207-213. ACM, (2022)