CSC 8520 :
Artificial Intelligence

Download as PDF

Problem-solving methods; knowledge representation; search; predicate calculus; automated theorem proving; natural language processing.

Overview