Search alternatives:
"translators" » "translator", "translations", "transistors"
Cover Image
Read Now

1
Published 2000
Springer Netherlands
“...; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata...”