Inference in First Order Logic

http://sern.ucalgary.ca/courses/CPSC/533/W99/presentations/L1_9A_Chow_Low/main.html

The process of deducing new conclusions from facts already known.

Post a Comment

Popular posts from this blog