-calculus.

Katsumasa Ishii

Published in: Theor. Comput. Sci. (2018)

Keyphrases

computer algebra
automated deduction
machine learning
data mining
computer vision
probabilistic model
algebraic structure
real time
website
database systems
data structure
information technology
real numbers