Categorial forms of the Axiom of Choice.

Andreas B. M. Brunner Hugo Luiz Mariano Samuel G. Da Silva

Published in: Log. J. IGPL (2017)

Keyphrases

neural network
object recognition
digital libraries
relational databases