Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010

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-...
Item Type: Book
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
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/10949

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)