Walter, A. T. (2025). Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types. ProQuest Dissertations and Theses.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu Chicago (wyd. 17)
Walter, Andrew T. "Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types."
ProQuest Dissertations and Theses 2025.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu MLA (wyd. 9)
Walter, Andrew T. "Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types."
ProQuest Dissertations and Theses, 2025.
Skopiowano do schowka
Nie udało się skopiować do schowka
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..