Note: This course is not available for the current semester.
Course No: 91.539; Last Offered: No Data;
Semidecision procedures for first-order logic and their correctness. Tableaus, unification, and resolution. Horn clauses and logic programming. Selected topics in areas such as nonstandard logics and architectures.
Contact the Advising Center at 978-934-2474 or Continuing_Education@uml.edu
Use the Back button in your browser to go back to search results.