mechanizing

v.

使（过程、工厂等）机械化( mechanize的现在分词 )；

1. We are mechanizing rapidly.
   我们正在迅速机械化。

Mechanizing temporal knowledge ☆
Mechanizing and Improving Dependency Pairs.
Mechanizing metatheory in a logical framework
Mechanizing Proof: Computing, Risk, and Trust
Mechanizing Programming Logics in Higher Order Logic
Mechanizing hypothesis formation : mathematical foundations for a general theory
Constructions: A higher order proof system for mechanizing mathematics
Constructions: A higher order proof system for mechanizing mathematics
Constructions: A higher order proof system for mechanizing mathematics
Identifying the what, why, and how of an observed action: an fMRI study of mentalizing and mechanizing during action observation