Search for tag: "logic in computer science"

CS2110-FA17-10 Session 10

2017-09-22 00:00:00+00

From  mjp337@cornell.edu 334 plays

CS2110-FA17-05 Session 05

2017-09-05 00:00:00+00

From  mjp337@cornell.edu 240 plays

CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms

From  E. Cornelius 2 plays