Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010

Author name not available (Why is that?)

Publication date: 20 March 2014

Published in: (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/285

No records found.

This page was built for publication: Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2440903)