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

1
by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Revision by Translation -- Object-Level Deletion -- Conclusions and Discussions...”
Cover Image
Read Now

2
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: “...) -- The Megarians and the Stoics (R.R. O'Toole, R.E. Jennings) -- Arabic Logic (T. Street) -- The Translation...”
Cover Image
Read Now

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