Search Results - Class (computer programming)
Suggested Topics within your search.
Suggested Topics within your search.
- Computer Science 25
- Computer science 16
- Education 14
- Programming Languages 14
- Software Engineering 13
- Mathematics 10
- Psychology 7
- Software engineering 7
- History of engineering & technology 6
- Humanities 6
- Computing & information technology 5
- Mathematics & science 5
- Science 5
- Social sciences 5
- Compilers (Computer programs) 4
- Compilers and Interpreters 4
- Computer programming / software development 4
- Data processing 4
- Educational equipment & technology, computer-aided learning (CAL) 4
- History of education 4
- Maths for scientists 4
- Medicine 4
- Research & information: general 4
- Systems analysis & design 4
- Teaching of a specific subject 4
- Academic achievement 3
- Algebraic geometry 3
- Applied mathematics 3
- Artificial Intelligence 3
- Artificial intelligence 3
-
61
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata
Electronic eBook -
62
The Question of the Boundaries of Computer Science
Published 2022Connect to this object online.
Book -
63
-
64
-
65
-
66
Introducción a la estadística descriptiva con R
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
67
-
68
-
69
-
70
-
71
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...
Published 2023Table of Contents: “…-- Investigating the Role of ChatGPT in Supporting Text-Based Programming Education for Students and Teachers -- All Green: How Different Age Groups Solved the Same Bebras Task -- Effects of the COVID-19 pandemic on the Bebras Computational Thinking Challenge: Comparing numbers, examining reasons and investigating recommendations -- The Function of Note-Taking in Problem Solving in the Computer Science Escape Game Room -- An Exploratory Investigation on High-School Students' Understanding of Threads -- Combining Models to Orchestrate an Instructional Scenario Fostering Computational Thinking in Educational Robotics -- Teachers' Knowledge in Informatics---Exploring Educational Robotics Resources Through the Lens of Textual Data Analysis -- Reshaping Unplugged Computer Science Workshops for Primary School Education -- Evaluating the New Secondary CS Curriculum in the Netherlands - The Teachers' Perspective -- Navigating the Implementation of the Curriculum Digital Education in Austrian Secondary Schools: Challenges and Teacher Perspectives -- Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.…”
Link to Metadata
Electronic eBook -
72
-
73
-
74
-
75
-
76
-
77
-
78
-
79
-
80