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
Tweet
Email