Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 (Q113542412)
Jump to navigation
Jump to search
Proceedings of PAAR+SC-Square 2020 workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 |
Proceedings of PAAR+SC-Square 2020 workshop |
Statements
PAAR+SC-Square 2020 (English)
0 references
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 (English)
0 references
26 November 2020
0 references