3 credits.

Prereq: CSCE 350

Heuristic problem solving, theorem proving, and knowledge representation, including the use of appropriate programming languages and tools.

Semesters Offered: Fall, Spring

Homepage