Revision history of "CS 421 Formal Methods"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 12:59, 18 May 2021‎ Znoble1 (talk | contribs)‎ . . (1,597 bytes) (+1,597)‎ . . (Created page with "== Catalog Description == Elements of formal logic; various approaches to automation including resolution; restrictions and search methods; inductive theorem-proving; Knuth-B...")
Retrieved from "https://cs.indstate.edu/wiki/index.php/CS_421_Formal_Methods"