A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Cao, Feng
Xu, Yang
Chen, Shuwei
Zhong, Jian
Wu, Guanfeng
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.2991/ijcis.d.191022.002
- URN
-
urn:nbn:de:101:1-2024041316192532223650
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 10:52 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Cao, Feng
- Xu, Yang
- Chen, Shuwei
- Zhong, Jian
- Wu, Guanfeng
- SpringerLink (Online service)
Ähnliche Objekte (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
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
System-Level Power and Performance Estimation in Early SoC Design Phases
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
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
System-Level Power and Performance Estimation in Early SoC Design Phases
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
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis