The following pages link to (Q3125203):
Displaying 20 items.
- Semantic information and the correctness theory of truth (Q535391) (← links)
- A new approach for data editing and imputation (Q999135) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584) (← links)
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197) (← links)
- Effective completeness theorems for modal logic (Q1877094) (← links)
- Inference-proof updating of a weakened view under the modification of input parameters (Q2167727) (← links)
- Probabilistic logic with independence (Q2379311) (← links)
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence (Q2390651) (← links)
- Languages of logic and their applications (Q2425445) (← links)
- (Q2724155) (← links)
- Foundations of logic and mathematics. Applications to computer science and cryptography (Q2784275) (← links)
- Mathematical Logic for Computer Science (Q2894076) (← links)
- Closures in Binary Partial Algebras (Q2994476) (← links)
- Coded Circuit for Trusted Computing: Towards Dynamic Integrity Measurement (Q3102165) (← links)
- The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)
- (Q4846259) (← links)
- An Application of Logic Engineering (Q5463271) (← links)
- Logic for computer scientists (Q5905500) (← links)
