767 search results - page 4 / 154 » Logic for Mathematical Writing |
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
13 years 5 months ago
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
WOODPECKER
2001
13 years 8 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
GRC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...