A Note on the Gödel-Gentzen Translation.

Hajime Ishihara

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

Keyphrases

machine translation
real time
query translation
statistical machine translation
cross language information retrieval
data sets
multi agent
recommender systems
horn clauses
machine translation system
onset detection