Original language | English |
---|---|
Title of host publication | Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice |
Number of pages | 2 |
Publication status | Published - 2004 |
Event | 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice - University of Leeds, Leeds, United Kingdom Duration: 31 Mar 2004 → 1 Apr 2004 http://www.comp.leeds.ac.uk/brandon/ARW04.html |
Workshop
Workshop | 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice |
---|---|
Abbreviated title | ARW 2004 |
Country | United Kingdom |
City | Leeds |
Period | 31/03/04 → 1/04/04 |
Internet address |