用“forward reasoning”造句大全,forward reasoning造句
To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.