Artificial Intelligence

Some Proof Strategies