A program for the full axiom of choice.

Jean-Louis Krivine

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

program execution
computer programs
data sets
databases
support vector
database
machine learning
expert systems
modal logic