Bolotov, Alexander, ed. (2010) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010. University of Westminster.Full text not available from this repository.
Official URL: http://www.csc.liv.ac.uk/~clare/ARW/year/2010/ARW-...
|Subjects:||University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)|
|Depositing User:||Rachel Wheelhouse|
|Date Deposited:||27 Jul 2012 10:53|
|Last Modified:||27 Jul 2012 10:53|
Actions (login required)
|Edit Item (Repository staff only)|