Keywords: منطق مرتبه بالاتر; Frequency response; Continuous-time systems; Theorem proving; Higher-order logic; HOL-Light; Fourier transform;
مقالات ISI منطق مرتبه بالاتر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق مرتبه بالاتر; Proof assistant libraries; Library alignment; Higher-order logic; Type theory; Set theory; Dynamical systems;
Keywords: منطق مرتبه بالاتر; Constraint logic programming; Typed λ-calculus; Higher-order logic; Kripke models;
Keywords: منطق مرتبه بالاتر; Higher-order logic; Theorem proving; Dynamic Thermal Management; Task migration; Many-core systems;
Keywords: منطق مرتبه بالاتر; Formal verification; Higher-order logic; Optical systems; Resonator stability;
Keywords: منطق مرتبه بالاتر; Reliability Block Diagrams (RBDs); Higher-order logic; Probability theory; Virtualization configuration; Virtual Data Centers
Keywords: منطق مرتبه بالاتر; Higher-order logic; Automatic theorem provers; Proof assistants
Keywords: منطق مرتبه بالاتر; S4 modal logic; Curry–Howard correspondence; Contextual modal type theory; Meta-programming; Higher-order logic; Syntax
Some resonances between Eastern thought and Integral Biomathics in the framework of the WLIMES formalism for modeling living systems
Keywords: منطق مرتبه بالاتر; Integral Biomathics; Artificial/synthetic and natural life; Phenomenology; Eastern philosophy; Higher-order logic; Wandering Logic Intelligence; Memory Evolutive Systems;
New methods for analyzing case and adposition meaning
Keywords: منطق مرتبه بالاتر; Case; Adposition; Semantics; Pragmatics; Formal methods; Higher-order logic;
Probabilities on Sentences in an Expressive Logic
Keywords: منطق مرتبه بالاتر; Higher-order logic; Probability on sentences; Gaifman; Cournot; Induction; Confirmation; Learning; Prior; Knowledge; Entropy;
The worldʼs shortest correct exact real arithmetic program?
Keywords: منطق مرتبه بالاتر; Computable reals; Exact arithmetic; Haskell; Higher-order logic; PVS
Formal reliability analysis of combinational circuits using theorem proving
Keywords: منطق مرتبه بالاتر; Formal verification; Higher-order logic; HOL; Probability theory; Reliability analysis; Theorem proving
CERES in higher-order logic
Keywords: منطق مرتبه بالاتر; 03F05; 03F07; Cut-elimination; Resolution; Higher-order logic;
Probabilistic reasoning in a classical logic
Keywords: منطق مرتبه بالاتر; Probabilistic reasoning; Classical logic; Higher-order logic; Integrating logic and probability
The seven virtues of simple type theory
Keywords: منطق مرتبه بالاتر; Higher-order logic; Type theory; Practical logics; Nonstandard models; Peano arithmetic; Complete ordered field
TPS: A hybrid automatic-interactive system for developing proofs
Keywords: منطق مرتبه بالاتر; Tps; Theorem proving system; Automatic proofs; Semi-automatic proofs; Semi-interactive proofs; Interactive proofs; Type theory; Higher-order logic; First-order logic; Automating mathematics; Mathematics assistance system
Bounded Model Generation for Isabelle/HOL
Keywords: منطق مرتبه بالاتر; Higher-Order Logic; Finite Model Generation; Interactive Theorem Proving;
Proving pointer programs in higher-order logic
Keywords: منطق مرتبه بالاتر; Pointer programs; Verification; Hoare logic; Higher-order logic; Schorr-Waite algorithm;