The Brown-4 Indicational Calculus.

Published in: Cybern. Hum. Knowing (2017)

Keyphrases

automated deduction
computer algebra
computer vision
real time
information retrieval
database systems
digital libraries
information technology
hidden markov models
formal language
qualitative spatial reasoning
algebraic structure
provably correct
database query languages
relation algebra