A 3D Spreadsheet Based on Intensional Logic.

Weichang Du William W. Wadge

Published in: IEEE Softw. (1990)

Keyphrases

logic programming
modal logic
microsoft excel
classical logic
multi valued
information systems
case study
data integration
neural network
query evaluation
deontic logic
formal theory
defeasible logic
logical framework
higher order
data model
learning algorithm
machine learning