Keywords: اثبات خودکار قضیه; Automated theorem proving; Automated reasoning; Abstract argumentation; Argumentation; Collaborative intelligence; Dialogue games; Lakatos; Mathematical argument; Structured argumentation; Social creativity; Philosophy of mathematical practice;
مقالات ISI اثبات خودکار قضیه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اثبات خودکار قضیه; Strictness analysis; Lambda calculus; Typing; Operational semantics; Automated theorem proving
Keywords: اثبات خودکار قضیه; Deductive program verification; Automated theorem proving; Floating-point computations; Quaternions
Higher-order aspects and context in SUMO
Keywords: اثبات خودکار قضیه; Expressive ontologies; Context; Classical higher-order logic; Boolean extensionality; Quantified multimodal logic; Automated theorem proving;
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
Keywords: اثبات خودکار قضیه; Dummett logic; Gödel logic; Tableau calculi; Intermediate logics; Automated theorem proving
Combining logical and algebraic techniques for natural style proving in elementary analysis
Keywords: اثبات خودکار قضیه; 68T15; 03B35; 03C10; Automated theorem proving; Extended quantifier elimination; CAD; Groebner Bases;
Computing finite models by reduction to function-free clause logic
Keywords: اثبات خودکار قضیه; Automated theorem proving; Model building
Superposition with equivalence reasoning and delayed clause normal form transformation
Keywords: اثبات خودکار قضیه; 03B35; 68T15; 02.10.Ab; Automated theorem proving; Deduction; Rewriting; Clause-normal-form transformation; Logical equivalence; Superposition; Paramodulation; First-order logic; Set theory;
Modular verification of multithreaded programs
Keywords: اثبات خودکار قضیه; Concurrent software; Verification; Assume-guarantee reasoning; Automated theorem proving; Verification conditions; Software engineering;
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Keywords: اثبات خودکار قضیه; Inductive theorem proving; automated theorem proving; automation; interaction; strategies; proof search control; challenges;