Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving (Q113545195)
Jump to navigation
Jump to search
Proceedings of PxTP 2012 workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving |
Proceedings of PxTP 2012 workshop |
Statements
PxTP 2012 (English)
0 references
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving (English)
0 references
30 July 2012
0 references