CS 7192

Course information provided by the Courses of Study 2016-2017.

Topics in programming logics, possibly including type theory, constructive logic, decision procedures, heuristic methods, extraction of code from proofs, and the design of proof-development and problem-solving systems.

When Offered Fall, spring.

View Enrollment Information

Enrollment Information
Syllabi: none
  •  

  • 1 Credit Stdnt Opt

  • 12112CS 7192  SEM 101

    • W
    • Constable, R