Font Size:
a
A
A
Keyword [Decision Procedure]
Result: 1 - 8 | Page: 1 of 1
1.
Satisfiability And Expressiveness Of Propositional Projection Temporal Logic
2.
Decidability Of Propositional Projection Temporal Logic
3.
Study On Extension Of Three-way Decision- Theoretic Rough Set Model And Its Related Algorithms
4.
Probability Covering-based Rough Set And L-fuzzy Variable Precision Covering-based Rough Set
5.
The combination problem in automated reasoning
6.
Unbounded system verification using decision procedure and predicate abstraction
7.
On The Use Of Epistemic Ordering Functions As Decision Criteria For Automated And Assisted Belief Revision In SNePs
8.
An interactive multiple objective optimization approach with application to hydrostatic bearing design
<<First
<Prev Next>
Last>>
Jump to