Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 3
- Software Engineering 3
- Algorithms & data structures 2
- Computer programming / software development 2
- Mathematical theory of computation 2
- Systems analysis & design 2
- Artificial Intelligence 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Mobile & handheld device programming / Apps programming 1
- Software engineering 1
-
1
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
-
3
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
-
5
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