Login / Signup
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II.
Benedikt Ahrens
Simon Huber
Anders Mörtberg
Published in:
Math. Struct. Comput. Sci. (2021)
Keyphrases
</>
theoretical framework
formal theory
image processing
artificial intelligence
databases
three dimensional
information retrieval
machine learning
neural network
database systems
reinforcement learning
artificial neural networks
evolutionary algorithm
multiresolution
conceptual framework
general theory
database