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

61
Published 2000
Springer Netherlands
“...; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata...”
Cover Image
Read Now

62
by Mostowski, Andrzej
Published 1979
North-Holland Pub. Co.
Cover Image
Read Now

63
by Börger, E.
Published 1989
North-Holland
Cover Image
Read Now

64
by Mostowski, Andrzej
Published 1979
North-Holland Pub. Co.