Rezultati pretrage - "The First Class"
Predložene teme unutar tvoje pretrage.
Predložene teme unutar tvoje pretrage.
- Mathematical physics 3
- Education 2
- Electronic devices & materials 2
- History 2
- Materials / States of matter 2
- Materials science 2
- Optical physics 2
- Thermodynamics & heat 2
- Accelerator Physics 1
- Agricultural science 1
- Artificial Intelligence 1
- Artificial intelligence 1
- Astronomers 1
- Biographies of Physicists and Astronomers 1
- Biography 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Condensed Matter Physics 1
- Condensed matter 1
- Formal Languages and Automata Theory 1
- Landscape art & architecture 1
- Landscape gardening 1
- Machine theory 1
- Metamaterials 1
- Optics 1
- Optics and Photonics 1
- Particle accelerators 1
- Physicists 1
- Science 1
- Science Education 1
-
201
-
202
-
203
-
204
-
205
-
206
-
207
-
208
-
209
-
210
-
211
-
212
-
213
-
214
-
215
-
216
-
217
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Izdano 2021Sadržaj: “…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
Elektronički e-knjiga -
218
Fabrication of Carbon and Related Materials/Metal Hybrids and Composites
Izdano 2022DOAB: download the publication
DOAB: description of the publication
Elektronički Poglavlje knjige -
219
-
220