Search Results - The Problem Solverz~
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 16
- Research & information: general 16
- Technology: general issues 10
- Mathematics 8
- Computer science 7
- Data processing 4
- Mathematics & science 4
- Artificial Intelligence 3
- Artificial intelligence 3
- Biology, life sciences 3
- Chemistry 3
- Computational Science and Engineering 3
- Finance 3
- Software Engineering 3
- Software engineering 3
- Building construction & materials 2
- Building skills & trades 2
- Civil engineering, surveying & building 2
- Computer Science 2
- Computer Science Logic and Foundations of Programming 2
- Computers 2
- Development economics & emerging economies 2
- Earth sciences, geography, environment, planning 2
- Economics 2
- Engineering: general 2
- Formal Languages and Automata Theory 2
- Geriatric medicine 2
- Instructional Psychology 2
- JN 2
- Learning, Psychology of 2
-
501
-
502
-
503
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 -
504
Educación y saberes para la vida: Didácticas innovadoras y creatividad
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
505
-
506
-
507
Bactericidal Activity Study of ZrO-AgO Nanoparticles
Published 2020Connect to this object online.
Book -
508
-
509
Advances in Discrete Differential Geometry
Published 2016Table of Contents: “…Discrete conformal maps: Boundary value problems, circle domains, Fuchsian and Schottky uniformization: Alexander I. …”
Link to Metadata
Electronic eBook -
510
KEBERADAAN JALUR SEPEDA DI KOTA BANDUNG SEBAGAI PRASARANA TRANSPORTASI
Published 2015Link Metadata
Book -
511
-
512
-
513
-
514
-
515
-
516
-
517
-
518
-
519
-
520