Original language | English |
---|---|
Title of host publication | Proceedings of the Automated Reasoning Workshop |
Number of pages | 2 |
Publication status | Published - 2005 |
Event | 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - University of Edinburgh/National e-Science Centre, Edinburgh, United Kingdom Duration: 29 Jul 2005 → 30 Jul 2005 http://www.inf.ed.ac.uk/events/conferences/arw-05/ |
Workshop
Workshop | 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice |
---|---|
Country/Territory | United Kingdom |
City | Edinburgh |
Period | 29/07/05 → 30/07/05 |
Internet address |