• *Search*: Program Development in Computational Logic

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 241*number_thousands_separator*938

2

Binding-time analysis for Mercury ; Program Development in Computational Logic
Vanhoof, Wim ; Bruynooghe, Maurice ; Leuschel, Michael ; et al.
ISBN:3-540-22152-2 ; ISSN:0302-9743 ; none ; Program Development in Computational Logic, (189-232), (Lecture Notes in Computer Science, 3049.

termination analysis logic programs prolog Science & Technology Technology Computer Science …
*Book*
*Add to favorites*
3

*This result is not displayed to guests*

4

Synthesis of Programs in Computational Logic
Program Development in Computational Logic
Basin, D. ; Deville, Y. ; Flener, P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE.. (3049):30-65

*Periodical*
*Add to favorites*
5

Enhancing Early Childhood Students' Computational Thinking Competency Through Digital Game-Based Learning.
Yildiz, Ezgi Pelin ; Alkan, Ayşe ; Tezer, Murat
International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE). Aug2025, Vol. 13 Issue 2, p365-378. 14p.

EARLY childhood educatio... GAMIFICATION EDUCATIONAL programs PROBLEM solving INFERENCE (Logic) DIGITAL literacy …
*Academic Journal*
*Add to favorites*
6

*This result is not displayed to guests*

7

An intelligent tutoring system for programming education based on informative tutoring feedback: system development, algorithm design, and empirical study
Zhong, Xuanyan ; Zhan, Zehui
Interactive Technology and Smart Education, 2024, Vol. 22, Issue 1, pp. 3-24.

*Academic Journal*
*Add to favorites*
8

Standardizing Extracted Data Using Automated Application of Controlled Vocabularies.
Foster, Caroline ; Wignall, Jessica ; Kovach, Samuel ; et al.
Environmental Health Perspectives. Feb2024, Vol. 132 Issue 2, p027006-1-027006-13. 13p.

Dose-response relationsh... Toxicity testing Subject headings Medical information stor... Drug toxicity Reproductive health …
*Academic Journal*
*Add to favorites*
10

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Bossi, Annalisa ; Küster Filipe, Juliana ; Kung-Kiu Lau ; et al.
Logic-Based Program Synthesis & Transformation. 2000, p42-61. 20p.

*Book*
*Add to favorites*
11

The effects of preschool teachers' professional development in computational thinking: Teachers' self-efficacy and young children's computational concepts
Park, Ju-Yeon ; Im, Haesung ; Kim, Sung-Ae
Educational Technology & Society. October, 2024, Vol. 27 Issue 4, p53, 16 p.

*Academic Journal*
*Add to favorites*
12

Workshop on tools for program development and analysis in computational science
Tao, Jie ; Bode, Arndt ; Klausecker, Christof ; et al.
Procedia Computer Science. Sep2011, Vol. 4, p2047-2048. 2p.

Computer science educati... Computer logic Semantic computing Electronic data processi... Forums Program development (Edu...
*Academic Journal*
*Add to favorites*
13

Transformation Rules for Locally Stratified Constraint Logic Programs
Fioravanti, Fabio ; Pettorossi, Alberto ; Proietti, Maurizio

Computer Science - Progr... Computer Science - Logic... D.1.2 D.1.6 I.2.2 F.3.1
*Report*
*Add to favorites*
14

Cellular Computational Logic Using Toehold Switches.
Choi, Seungdo ; Lee, Geonhu ; Kim, Jongmin
International Journal of Molecular Sciences; Apr2022, Vol. 23 Issue 8, p4265-4265, 16p

ANTISENSE RNA LOGIC circuits LOGIC SMALL molecules ESCHERICHIA coli
*Academic Journal*
*Add to favorites*
15

A Backward Analysis for Constraint Logic Programs
King, Andy ; Lu, Lunjin

Computer Science - Progr... Computer Science - Softw... D.1.6 F.3.2
*Report*
*Add to favorites*
16

Developing Computational Thinking Abilities in the Early Years Using Guided Play Activities.
Critten, Valerie ; Hagon, Hannah ; Critten, Sarah ; et al.
Education Sciences; Oct2025, Vol. 15 Issue 10, p1298, 22p

EARLY childhood educatio... CHILD development LOGIC GAMIFICATION ACTIVITY programs in edu... EVALUATION methodology …
*Academic Journal*
*Add to favorites*
17

Educational Robotics: Development of computational thinking in collaborative online learning
Kerimbayev, Nurassyl ; Nurym, Nurdaulet ; Akramova, Aliya ; et al.
Education and Information Technologies. November, 2023, Vol. 28 Issue 11, p14987, 23 p.

*Academic Journal*
*Add to favorites*
18

Computational problem-solving practices in a Scratch-supported geometry and measurement teaching.
Türkmen, Hümeyra ; Akkoç, Hatice
Congress of the European Society for Research in Mathematics Education; 2/4/2026, Vol. 14, p1862-1869, 8p

COMPUTATIONAL thinking GEOMETRY education PROBLEM solving VISUAL programming (Comp... MIDDLE school education EXPERIMENTAL methods in... …
*Conference*
*Add to favorites*
19

DEVELOPMENT OF COMPUTATIONAL THINKING IN PRESCHOOL CHILDREN THROUGH THE BEAR BOT.
Flores Ccanto, Florencio ; Menacho Vargas, Isabel ; Galvez Morales, Lourdes ; et al.
Lex Localis: Journal of Local Self-Government; 2025 Supplement, Vol. 23 Issue S5, p2589-2599, 11p

LIMA (Peru) PRESCHOOL education EDUCATION software PROBLEM solving CHILD development ROBOTS …
*Academic Journal*
*Add to favorites*
20

Promoting Gender Equity Through a STEM Kit and Visual Programming to Develop Computational Thinking in the Early Years of University Education.
Paucar-Curasma, Ronald ; Unsihuay-Tovar, Roberto Florentino ; Illesca-Cangalaya, Omar Felix ; et al.
Mathematical Modelling of Engineering Problems; Aug2025, Vol. 12 Issue 8, p2931-2944, 14p

PERU STEM education VISUAL programming (Comp... TEACHING methods PROBLEM solving GENDER inequality …
*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*