Search Results - "W."
Suggested Topics within your search.
Suggested Topics within your search.
- Literature: history & criticism 203
- Science fiction 178
- Sociology & anthropology 105
- History 103
- History of the Americas 87
- Humorous stories, English 82
- Politics & government 63
- Education 52
- Western stories 52
- Short stories 51
- Sociology 49
- International relations 48
- Medicine 45
- Fiction 43
- Animals -- Juvenile fiction 42
- European history 42
- Science: general issues 42
- Technology: general issues 41
- Asian history 40
- Humanities 39
- Poetry 39
- Psychology 39
- Philosophy 38
- Research & information: general 34
- History of engineering & technology 31
- linguistics 31
- Detective and mystery stories 28
- Conduct of life -- Juvenile fiction 27
- Physics 27
- Warfare & defence 27
-
39061
-
39062
-
39063
-
39064
-
39065
-
39066
-
39067
-
39068
-
39069
-
39070
-
39071
-
39072
-
39073
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. 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 -
39074
Japan's Peacekeeping at a Crossroads Taking a Robust Stance or Remaining Hesitant? /
Published 2022Link to Metadata
Electronic eBook -
39075
People's Wars in China, Malaya, and Vietnam
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39076
Sense of agency: Examining awareness of the acting self
Published 2015DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39077
-
39078
-
39079
-
39080