Proceedings of the 7th Workshop on Automated Reasoning, London, UK, July 20-21, 2000. (Q113502209)
Jump to navigation
Jump to search
Automated Reasoning Workshop 2000: Bridging the Gap between Theory and Practice.
- ARW 2000
Language | Label | Description | Also known as |
---|---|---|---|
English | Proceedings of the 7th Workshop on Automated Reasoning, London, UK, July 20-21, 2000. |
Automated Reasoning Workshop 2000: Bridging the Gap between Theory and Practice. |
|
Statements
Automated Reasoning Workshop 2000: Bridging the Gap between Theory and Practice (English)
0 references
Proceedings of the 7th Workshop on Automated Reasoning, London, UK, July 20-21, 2000. (English)
0 references
22 August 2000
0 references