Combination of Decision Procedures: Slide 130 of 172.

Click slide for next, or goto previous, or back to thumbnail layout.