The g-Operational Calculus.

Endre Pap Djurdjica Takaci Arpad Takaci

Published in: Int. J. Uncertain. Fuzziness Knowl. Based Syst. (2002)

Keyphrases

decision making
automated deduction
database
real time
data mining
genetic algorithm
data sets
information systems
image sequences
data structure
constraint satisfaction problems
formal language
proof procedure
algebraic structure
timed automata
operational decisions