ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories (Q113545951)
Jump to navigation
Jump to search
Proceedings of ESARLT 2007 workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories |
Proceedings of ESARLT 2007 workshop |
Statements
ESARLT 2007 (English)
0 references
ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories (English)
0 references
27 June 2007
0 references