Conference on Automated Deduction (Q5159939)
Jump to navigation
Jump to search
conference series on automated theorem proving
- CADE
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conference on Automated Deduction |
conference series on automated theorem proving |
|
Statements
CADE (English)
0 references
Conference on Automated Deduction (English)
1 reference
Identifiers
1 reference