An Algebraic Approach to Vectorial Programs.

Charles Paperman Sylvain Salvati Claire Soyez-Martin

Published in: STACS (2023)

Keyphrases

provably correct
databases
bayesian networks
artificial neural networks
open source
answer sets
automatic programming