]> 2012-02-10T17:01:15-05:00 User Interfaces for Portable Proofs inproceedings August,2008 User Interfaces for Portable Proofs TW-2008-09 Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) 2008 User Interfaces for Portable Proofs 2008 Year Title Pdf url Media:TW-2008-09.pdf Pdf August Month Has year Has where published Has url Has tr id Has title Has publishing details Has identifier Has author Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) Booktitle Bibtype Geoff Sutcliffe Cynthia Chang Li Ding Deborah McGuinness Nicholas Del Rio Paulo Pinheiro da Silva Author Montreal, Quebec, Canada Address Publication Workshop Paper TW Technical Report