Mar 28, 2024  
2018-2019 Undergraduate and Graduate Academic Catalog 
    
2018-2019 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 420G  or permission of instructor required



Add to Catalog (opens a new window)