Minimal logic and automated proof verification. (Q111964414)
Jump to navigation
Jump to search
2019 doctoral thesis by Louis Warren at University of Canterbury
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal logic and automated proof verification. |
2019 doctoral thesis by Louis Warren at University of Canterbury |
Statements
Minimal logic and automated proof verification. (English)
0 references
2019
0 references