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

Solomon Feferman Gerhard Jäger

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

management system
real time
computer systems
learning systems
database
databases
expert systems
knowledge based systems
complex systems
decision making
case study
search algorithm
computer science
medical images
computing systems
systems require