Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I.

Solomon Feferman Gerhard Jäger

Published in: Ann. Pure Appl. Logic (1993)

Keyphrases

distributed systems
data sets
genetic algorithm
expert systems
management system
computing systems
computer vision
decision making
image processing
website
bayesian networks
computer systems
retrieval systems
belief revision
systems require