| 
|
Quote: with an algebra, can prove theorems by mechanical transformations using algebraic laws
topics >
all references >
references a-b >
Topic:
transformation of programs
Quotation Skeleton
In contrast, many ordinary proofs are derived by … be used in a rather mechanical way to … [ax + bx = a + b implies x = 1], … Thus we have proved that x = 1 … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: transformation of programs (27 items)