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

Publication dates
Title	Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010
Editors	Bolotov, A.
Year	2010
Publisher	University of Westminster
Published	2010
Web address (URL)	http://www.csc.liv.ac.uk/~clare/ARW/year/2010/ARW-2010-main.pdf
Event	ARW 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

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

Share this

Usage statistics

Export as