CompLog2012-Lecture-2-Reasoning-with-FOL.pdf(file size: 432 KB, MIME type: application/pdf)

Calculus, Resolution algorithm

File history

Click on a date/time to view the file as it appeared at that time.

current15:30, 9 October 2012 (432 KB)Homola (Talk | contribs)Calculus, Resolution algorithm
  • You cannot overwrite this file.

There are no pages that link to this file.

Revision as of 15:30, 9 October 2012 by Homola (Talk | contribs) (Calculus, Resolution algorithm)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)