Report copyright - DCP 1170 1 Inference in First-Order Logic Proofs – extend propositional logic inference to deal with quantifiers Unification Generalized modus ponens Forward
Please pass captcha verification before submit form
Please pass captcha verification before submit form