A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic ; volume:13 ; number:1 ; day:12 ; month:6 ; year:2020 ; pages:672-680 ; date:1.2020
International journal of computational intelligence systems ; 13, Heft 1 (12.6.2020), 672-680, 1.2020
- Creator
-
Zhong, Jian
Xu, Yang
Cao, Feng
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.2991/ijcis.d.200521.001
- URN
-
urn:nbn:de:101:1-2024041316302037475745
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:53 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
- Zhong, Jian
- Xu, Yang
- Cao, Feng
- SpringerLink (Online service)
Other Objects (12)
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
The validity degree vectors of formulae in two-valued predicate logic
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
α-Minimal Resolution Principle For A Lattice-Valued Logic
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
Computational Intelligence in Knowledge Engineering
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
The validity degree vectors of formulae in two-valued predicate logic
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
α-Minimal Resolution Principle For A Lattice-Valued Logic
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
Computational Intelligence in Knowledge Engineering
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
The validity degree vectors of formulae in two-valued predicate logic
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
α-Minimal Resolution Principle For A Lattice-Valued Logic
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic