نتائج البحث

Body motion, early algebra, and the colours of abstraction.

• Authors : Nemirovsky, Ricardo¹ ; Ferrara, Francesca²; Ferrari, Giulia²

• Source: Educational Studies in Mathematics. Jun2020, Vol. 104 Issue 2, p261-283. 23p.

تفاصيل العنوان

Enhancing Linear Algebra Learning through Computational Thinking: A Project-Based Approach.

• Authors : Tanvir, Prince¹,

• Source: HETS Online Journal; Spring2023, Vol. 13 Issue 2, p132-141, 10p

تفاصيل العنوان

Building Student’s Mathematical Connection Ability in Abstract Algebra: The Combination of Analogy-Contruction-Abstraction Stages

• Authors : Junarti, Junarti; Yani T, Ahmad; Amin, Ahmad Kholiqul

Subjects: Abstract Algebra; Mathematical Connection Ability; Abstraction

• Source: JETL (Journal of Education, Teaching and Learning); Vol 8, No 1 (2023): Volume 8 Number 1 March 2023; 80-97 ; 2477-8478 ; 2477-5924

تفاصيل العنوان

Algebraic anti-unification

• Authors : Antic, Christian; Vienna University of Technology (TU Wien)

Subjects: Generalization; Abstraction; Tree Automata and Languages

• Source: https://hal.science/hal-04207922 ; 2023.

تفاصيل العنوان

An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries.

• Authors : Demolombe, Robert¹

• Source: Fundamenta Informaticae. Sep2003, Vol. 57 Issue 1, p1-15. 15p.

تفاصيل العنوان

Imperative Process Algebra with Abstraction.

• Authors : MIDDELBURG, C. A.

Subjects: ALGEBRA; BISIMULATION

• Source: Scientific Annals of Computer Science; 2022, Vol. 32 Issue 1, p137-179, 43p

تفاصيل العنوان

Layered and Object-Based Game Semantics *

• Authors : Oliveira Vale, Arthur; Melliès, Paul-André; Shao, Zhong ...

Subjects: game semantics; program refinement; CCS Concepts: • Theory of computation → Program verification

• Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-03456034 ; Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩.

تفاصيل العنوان

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019.

• Authors : Vojnar, Tomáš; Zhang, Lijun

Subjects: ALGORITHMS; SOFTWARE development tools; TECHNOLOGY transfer

• Source: International Journal on Software Tools for Technology Transfer; Feb2022, Vol. 24 Issue 1, p29-31, 3p

تفاصيل العنوان

Trade-Offs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving.

• Authors : Koedinger, Kenneth R.¹, ; Alibali, Martha W.²; Nathan, Mitchell J.³

• Source: Cognitive Science; Apr2008, Vol. 32 Issue 2, p366-397, 32p, 2 Diagrams, 8 Charts, 3 Graphs

تفاصيل العنوان

An Abstraction Technique for Verifying Shared-Memory Concurrency

• Authors : Oortwijn, Wytse; Gurov, Dilian, 1964; Huisman, Marieke

Subjects: concurrency verification; program logics; process algebra

• Source: Applied Sciences. 10(11)

تفاصيل العنوان