A Graphical Calculus for Semi-Groupal Categories.

Xuexing Lu Yu Ye Sen Hu

Published in: Appl. Categorical Struct. (2019)

Keyphrases

data sets
artificial intelligence
automatically classify
first order logic
object categories
automatic classification
automated theorem proving
category specific