WestminsterResearch

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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:10949
Deposited On:27 Jul 2012 11:53
Last Modified:27 Jul 2012 11:53

Repository Staff Only: item control page