0 to introduce machinery into (an industry etc) -- ใช้เครื่องจักร
We’ve mechanized the entire manufacturing process.
1 to supply (troops) with motor vehicles. -- จัดหารถให้
We can mechanize this idea in type theory, yielding the key technique for expressing high-level programs via elimination operators, hence we reprise it here.
Fortunately, some of this burden can be alleviated by mechanizing the definition and metatheory of a language.
Much of the effort in mechanizing semantics today is focused on automatically generating or verifying proofs of the meta-theory of a semantics.
Therefore, to reduce costs, it is essential that lentil harvest be mechanized.
There is significant evidence to show that farmers mechanized wherever their means allowed.
Here we provide a brief overview of developments in mechanizing heart rhythm, structure, or function.
In other words, mechanized logic is ready for prime time.
Tractor subsidies have encouraged shedding of labour: already, by the early 1970s, one-quarter of the cultivated area was mechanized.
