Maths›03. Logic and FoundationsChapter 20. Logic in ProgrammingLogic programming, type systems, verification, model checking, and program synthesis.
Maths›03. Logic and FoundationsChapter 20. Logic in ProgrammingLogic programming, type systems, verification, model checking, and program synthesis.