A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search ; volume:12 ; number:2 ; day:12 ; month:11 ; year:2019 ; pages:1245-1254 ; date:1.2019
International journal of computational intelligence systems ; 12, Heft 2 (12.11.2019), 1245-1254, 1.2019
- Creator
-
Cao, Feng
Xu, Yang
Chen, Shuwei
Zhong, Jian
Wu, Guanfeng
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.2991/ijcis.d.191022.002
- URN
-
urn:nbn:de:101:1-2024041316192532223650
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:52 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Cao, Feng
- Xu, Yang
- Chen, Shuwei
- Zhong, Jian
- Wu, Guanfeng
- SpringerLink (Online service)
Other Objects (12)
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Computational Intelligence in Knowledge Engineering
Boundary element method (BEM) applied to the rough surface contact vs. BEM in computational mechanics
System-Level Power and Performance Estimation in Early SoC Design Phases
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Computational Intelligence in Knowledge Engineering
Boundary element method (BEM) applied to the rough surface contact vs. BEM in computational mechanics
System-Level Power and Performance Estimation in Early SoC Design Phases
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Computational Intelligence in Knowledge Engineering
Boundary element method (BEM) applied to the rough surface contact vs. BEM in computational mechanics
System-Level Power and Performance Estimation in Early SoC Design Phases
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer