دانلود مقالات ISI درباره اثبات خودکار قضیه + ترجمه فارسی

ریاضیات مشترک با سبک لاکاتوس از طریق استدلال دیالکتیکی، ساختار یافته و انتزاعی

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

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 39 صفحه سال انتشار : 2017 سفارش ترجمه

مشتق و استنتاج انواع سخت گیری مرتبه بالاتر

Derivation and inference of higher-order strictness types

Keywords: اثبات خودکار قضیه; Strictness analysis; Lambda calculus; Typing; Operational semantics; Automated theorem proving

دانلود رایگان متن کامل مقاله ISI 15 صفحه سال انتشار : 2015 سفارش ترجمه

بررسی رفتار کاربردی یک برنامه ی شناور: یک مطالعه موردی صنعتی

Verification of the functional behavior of a floating-point program: An industrial case study

Keywords: اثبات خودکار قضیه; Deductive program verification; Automated theorem proving; Floating-point computations; Quaternions

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2014 سفارش ترجمه

Higher-order aspects and context in SUMO

Keywords: اثبات خودکار قضیه; Expressive ontologies; Context; Classical higher-order logic; Boolean extensionality; Quantified multimodal logic; Automated theorem proving;

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2012 سفارش ترجمه

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

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2010 سفارش ترجمه

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;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2009 سفارش ترجمه

Computing finite models by reduction to function-free clause logic

Keywords: اثبات خودکار قضیه; Automated theorem proving; Model building

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2009 سفارش ترجمه

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;

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2005 سفارش ترجمه

Modular verification of multithreaded programs

Keywords: اثبات خودکار قضیه; Concurrent software; Verification; Assume-guarantee reasoning; Automated theorem proving; Verification conditions; Software engineering;

دانلود رایگان متن کامل مقاله ISI 31 صفحه سال انتشار : 2005 سفارش ترجمه

Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Keywords: اثبات خودکار قضیه; Inductive theorem proving; automated theorem proving; automation; interaction; strategies; proof search control; challenges;

دانلود رایگان متن کامل مقاله ISI 39 صفحه سال انتشار : 2005 سفارش ترجمه