Specifying programs with propositions and with congruences.

Published in: CoRR (2023)

Keyphrases

automatic programming
neural network
computer vision
three dimensional
control structures
databases
real world
data mining
learning algorithm
multi agent
special case
programming language
finite state machines
computer programs