CS 421 Formal Methods: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons 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.

17 August 2025

18 May 2021

  • curprev 12:5912:59, 18 May 2021 wiki_previous>Znoble1 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/web/index.php/CS_421_Formal_Methods"