LEO PascalNews

First we prove that Cauchy reals setoid equality is decidable on algebraic Cauchy reals, then we build arithmetic operations.. 3.2 Equality

The validation of our work shows that the conceptual model can be applied with a reasonable overhead in an industrial settings, that CP is able to effectively identify

On base of these models, typical errors in human decision making, such as framing effects, temporal discounting, or problems in dealing with complex systems are explored, and

In this paper we define a De- notational Semantics with Continuations to model the flow of control of a small fragment of a logic language with an explicit exception

Кнутом була запропонована така математична абстракція, як «машини, що складають» (англ. До таких складних операцій відносять знаходження лишку

However, Foil- DL differs from SoftFoil mainly by the fact that the latter learns fuzzy EL inclusion axioms from fuzzy DL-Lite ontologies, while the former learns fuzzy EL (D)

The issues of dispersed organization of problem solving in the mediation environment arise from the fact that various components of the environment (such as the mediator declarative

Theorem 1 is a general result which shows that the Hausdorff dimension of a wide class of sets can be characterized in terms of a solution of a differential system which involves