Workshop on Formal Mathematics for Mathematicians (Q113637454)
Jump to navigation
Jump to search
academic workshop
- FMM 2016
Language | Label | Description | Also known as |
---|---|---|---|
English | Workshop on Formal Mathematics for Mathematicians |
academic workshop |
|
Statements
FMM 2016 (English)
0 references
Workshop on Formal Mathematics for Mathematicians (English)
0 references