Some Definable Galois Theory and Examples.

Omar León Sánchez Anand Pillay

Published in: Bull. Symb. Log. (2017)

Keyphrases

theoretical framework
genetic algorithm
artificial intelligence
key concepts
real time
multi agent
training examples
first order logic
domain theory
formal theory