May 16, 2022  
2015-2016 Undergraduate and Graduate Academic Catalog 
    
2015-2016 Undergraduate and Graduate Academic Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCE 521 - Automated Reasoning


3 Credit(s). 0 Hour(s) Lab. 3 Hour(s) Lecture.

Automated reasoning. Emphasis on logical, probabilistic, and non-monotonic reasoning.

Prereq: CMPS 420(G)  or permission of instructor required



Add to Catalog (opens a new window)