По вашему запросу найдено документов: 26745
Страница 1 из 2675
Provability logic with operations on proofsProvability logic with operations on proofs
Peculiarities of Aristotelian Scholastic Logic of notion, the study of assertion, inferences, the theory of syllogism and the logical operations
Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations introduce in the logical language with two new
intensional logical operations { plausible and dominates
Logic of proofs and labels with a complete set of operationsLogic of proofs and labels with a complete set of operations
LOGIC-FUNCTIONAL CONTROL SYSTEM OF DYNAMIC OBJECT the synthesis problem of the logic-functional control is used the network operator method.
Probability measure on conjugation logics© 2014, Springer Basel. In the paper we describe probability measures on the conjugation logics
The gleason theorem for the field of rational numbers and residue fieldsCharges μ taking values in a field F and defined on orthomodular partially ordered sets (logics
The gleason theorem for the field of rational numbers and residue fieldsCharges μ taking values in a field F and defined on orthomodular partially ordered sets (logics
Genetic algorithm for the synthesis of logic-functional control system of dynamic object control system. Another network operator describes a multidimensional logic function for the subsystem
Logical Operation of Set Intersection for Images in Optical Echo Holography performing logical operations on sets represented in the form of images. We show that a stimulated echo
Страница 1 из 2675
Фасеты
Партнеры
Индексация
