Finding Hypothetical Answers with a Resolution Theorem Prover

Next slide Back to first slide View graphic version