Herbrandized modified realizability.

Gilda Ferreira Paulo Renato A. Firmino

Published in: Arch. Math. Log. (2024)

Keyphrases

information systems
computer vision
bayesian networks
genetic algorithm