ESARM-08 Empirically Successful Automated Reasoning in Mathematics (Q113545781)
Jump to navigation
Jump to search
Proceedings of ESARM-08 workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ESARM-08 Empirically Successful Automated Reasoning in Mathematics |
Proceedings of ESARM-08 workshop |
Statements
ESARM-08 (English)
0 references
ESARM-08 Empirically Successful Automated Reasoning in Mathematics (English)
0 references
15 August 2007
0 references