Keywords: روش های تصمیم گیری; Decision procedures; Superposition; Schematic saturation
مقالات ISI روش های تصمیم گیری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: روش های تصمیم گیری; 03C10; 14Q15; 68W30Exponential polynomials; Cylindrical algebraic decomposition; Quantifier elimination; Decision procedures; Interval arithmetic
Keywords: روش های تصمیم گیری; Decision procedures; Set theory; Undecidability;
Keywords: روش های تصمیم گیری; 03B35; 03B45; 03B20; 03F03; Relational logic; Dual tableaux; Decision procedures; Modal logics; Intuitionistic logics;
Keywords: روش های تصمیم گیری; Modal logics; Tableau methods; Decision procedures; Prefixed tableau systems; Global assumptions problem
Once and for all
Keywords: روش های تصمیم گیری; Temporal logic; Past-time operators; Expressive power; Decision procedures; Alternating automata
How monetary policy committees impact the volatility of policy rates
Keywords: روش های تصمیم گیری; D70; E43; E58; F33; Monetary policy committees; Decision procedures; Interest-rate; Monetary union;
Integrating external deduction tools with ACL2
Keywords: روش های تصمیم گیری; Automated reasoning; Decision procedures; First-order logic; Interfaces; Theorem proving;
Too little, too late: Interest rate setting and the costs of consensus
Keywords: روش های تصمیم گیری; E43; E58; Monetary policy committees; Decision procedures; Interest rates;
Decision Procedures for Set-Valued Fields
Keywords: روش های تصمیم گیری; Program verification; Data structures; Objects; Decision procedures; Two-variable logic with counting; Classical decision problem; Nelson-Oppen technique; Two-level syllogistic;
Justifying Equality
Keywords: روش های تصمیم گیری; Decision Procedures; Satisfiability; Union-Find; Congruence Closure; Proof Theory; Minimal Proofs;
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Keywords: روش های تصمیم گیری; verification; bounded model checking; hybrid systems; infinite-state systems; decision procedures; satisfiability;
An interpolating theorem prover
Keywords: روش های تصمیم گیری; Craig interpolation; Model checking; Decision procedures; Infinite-state systems;
ConSUS: a light-weight program conditioner
Keywords: روش های تصمیم گیری; Program conditioning; Slicing; Program transformation; Decision procedures;