Countdown μ-calculus.

Jedrzej Kolodziejski Bartek Klin

Published in: CoRR (2022)

Keyphrases

computer algebra
neural network
automated deduction
real world
artificial intelligence
social networks
computer vision
information systems
e learning
data structure
relational calculus