Constructing the constructible universe constructively.

Richard Matthews Michael Rathjen

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

learning algorithm
information systems
metadata
search algorithm
special case
domain knowledge
automatic construction