Solution of a Problem of Leon Henkin.

Published in: J. Symb. Log. (1955)

Keyphrases

mathematical model
solution space
linear equations
artificial intelligence
multiscale
optimal solution
control system
solution quality