Two Is Enough - Bisequent Calculus for S5.

Andrzej Indrzejczak

Published in: FroCos (2019)

Keyphrases

real time
image sequences
automated deduction
computer algebra
database
data mining
web services
learning environment
multiresolution
provably correct