Keywords: تئوری اتوماتیک ثابت می کند; Automatic theorem proving; Proof complexity; QBF;
مقالات ISI تئوری اتوماتیک ثابت می کند (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تئوری اتوماتیک ثابت می کند; Analysis of algorithms; Automatic theorem proving; Computational geometry; Distributed computing; Theory of computation
Keywords: تئوری اتوماتیک ثابت می کند; Automatic theorem proving; Equality loop invariants; Formal characterization; Formal verification; Finite difference techniques
A short note on type-inhabitation: Formula-trees vs. game semantics
Keywords: تئوری اتوماتیک ثابت می کند; Lambda calculus; Game semantics; Type-inhabitation; Automatic Theorem Proving
Modular instantiation schemes
Keywords: تئوری اتوماتیک ثابت می کند; Automatic theorem proving; SMT; Instantiation-based methods; Combination problems
Automatic reasoning for geometric constraints in 3D city models with uncertain observations
Keywords: تئوری اتوماتیک ثابت می کند; Geometric reasoning; Statistical testing theory; Constraint-based modelling; 3D city models; Automatic theorem proving
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Keywords: تئوری اتوماتیک ثابت می کند; Fixpoint semantics; Automatic theorem proving;
Efficient weakest preconditions
Keywords: تئوری اتوماتیک ثابت می کند; Program correctness; Formal semantics; Automatic theorem proving;
Deciding H1 by resolution
Keywords: تئوری اتوماتیک ثابت می کند; Automatic theorem proving; Formal languages;