Automated Reasoning Workshop XI (AISB 2004) |
Leeds, UK, 31st March - 1st April 2004 |
 |
Photo from AISB 2004 www.leeds.ac.uk/aisb/ |
 |
David Anderson |
Photographs (c) David Anderson 2004 |
Automated Reasoning Workshop XI (AISB 2004) |
Leeds, UK, 31st March - 1st April 2004 |
|
Photo from AISB 2004 www.leeds.ac.uk/aisb/ |
|
David Anderson |
Photographs (c) David Anderson 2004 |