Multi-focused Proofs with Different Polarity Assignments (Q57850714)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Multi-focused Proofs with Different Polarity Assignments |
No description defined |
Statements
Multi-focused Proofs with Different Polarity Assignments (English)
0 references
July 2016
0 references
323
0 references
163-179
0 references