Approximation logic.

Helena Rasiowa Andrzej Skowron

Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)

Keyphrases

error bounds
automated reasoning
closed form
approximation algorithms
multi valued
classical logic
defeasible logic
data mining
artificial intelligence
case study
multiscale
modal logic
computational properties
approximation error
digital circuits