Login / Signup
About the unification type of $\mathbf {K}+\square \square \bot $.
Philippe Balbiani
Çigdem Gencer
Maryam Rostamigiv
Tinko Tinchev
Published in:
Ann. Math. Artif. Intell. (2022)
Keyphrases
</>
higher order
e learning
knowledge base
case study
hidden markov models
aspect ratio
databases
image processing
search algorithm