C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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