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

Bolotov, A. (ed.) 2010. Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010. University of Westminster.

TitleProceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010
EditorsBolotov, A.
Year2010
PublisherUniversity of Westminster
Publication dates
Published2010
Web address (URL)http://www.csc.liv.ac.uk/~clare/ARW/year/2010/ARW-2010-main.pdf
EventARW 2010

Permalink - https://westminsterresearch.westminster.ac.uk/item/90428/proceedings-of-the-automated-reasoning-workshop-2010-bridging-the-gap-between-theory-and-practice-arw-2010


Share this

Usage statistics

90 total views
0 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.