First Workshop on Automated Theory Engineering (Q113659354)
Jump to navigation
Jump to search
academic workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | First Workshop on Automated Theory Engineering |
academic workshop |
Statements
ATE-2011 (English)
0 references
First Workshop on Automated Theory Engineering (English)
0 references