Second International Workshop on Proof Exchange for Theorem Proving (Q113656577)
Jump to navigation
Jump to search
academic workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | Second International Workshop on Proof Exchange for Theorem Proving |
academic workshop |
Statements
PxTP 2012 (English)
0 references
Second International Workshop on Proof Exchange for Theorem Proving (English)
0 references