Besonderhede van voorbeeld: 6224207603280280745

English

Figure 9.11 Inference in First-Order Logic A resolution proof that West is a criminal.

Spanish

1 1 1 v Figura 9.11 Una demostración mediante resolución de que West es un criminal.