A Semantical Storage Operator Theorem for All Types.

Christophe Raffalli

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

Keyphrases

data storage
neural network
storage requirements
classical logic
real time
artificial intelligence
modal logic