On translations of complete first order theories.

Seyed Mohammad Bagheri

Published in: Math. Log. Q. (2003)

Keyphrases

theory revision
higher order
neural network
data sets
first order logic
decision making
machine translation
action theories