The process of deducing new conclusions from facts already known.
Wednesday, January 15, 2003
Inference in First Order Logic
http://sern.ucalgary.ca/courses/CPSC/533/W99/presentations/L1_9A_Chow_Low/main.html
Subscribe to:
Post Comments (Atom)
Disclaimer
