The 2016 Workshop on Theorem proving components for Educational software (ThEdu) (Q113637494)
Jump to navigation
Jump to search
academic workshop
- ThEdu 2016
Language | Label | Description | Also known as |
---|---|---|---|
English | The 2016 Workshop on Theorem proving components for Educational software (ThEdu) |
academic workshop |
|
Statements
ThEdu 2016 (English)
0 references
The 2016 Workshop on Theorem proving components for Educational software (ThEdu) (English)
0 references