Login / Signup
MT and unification.
Dominique Estival
Published in:
Comput. Sci. J. Moldova (1994)
Keyphrases
</>
machine translation
higher order
theorem proving
equational theories
theorem prover
distributed systems
information retrieval
database
databases
web pages
search algorithm