Seminar Series: Axioms as rules: How to reason with mathematical theories

Name: Seminar Series - Professor Elaine Pimental: Axioms as rules: How to reason with mathematical theories — OxWoCS | Oxford Women in Computer Science Society
Start: 2023-11-28T15:00:00+0000
End: 2023-11-28T16:00:00+0000