1. Resources
  2. Lectures
  3. Week 2: Formal Logic and Reasoning, First-order Logic
  4. First-Order Logic 2

First-Order Logic 2

View in browser Download

Resource created Wednesday 22 September 2021, 04:46:14 PM, last modified Thursday 23 September 2021, 10:30:58 PM.

file: comp4418-Lecture7-FOL2.pdf

Back to top

COMP4418 21T3 (Knowledge Representation and Reasoning) is powered by WebCMS3
CRICOS Provider No. 00098G