Satisfiability Testing for Boolean Formulas Using Δ-trees.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 85, doi. 10.1023/a:1020530109551
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2002 AND VI 72 AND IP 1
Results: 6
1
2
Preface.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 3, doi. 10.1023/a:1020534210459
- By:
- Publication type:
- Article
3
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 113, doi. 10.1023/a:1020582126389
- By:
- Publication type:
- Article
4
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 61, doi. 10.1023/a:1020578025481
- By:
- Publication type:
- Article
5
Simultaneous Rigid Sorted Unification for Tableaux.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 31, doi. 10.1023/a:1020526008642
- By:
- Publication type:
- Article
6
Subjective Situations and Logical Omniscience.
- Published in:
- Studia Logica, 2002, v. 72, n. 1, p. 7, doi. 10.1023/a:1020513024572
- By:
- Publication type:
- Article