User Interfaces for Portable Proofs + Has identifier
| TW-2008-09 |
Bibtype
inproceedings
Has publishing details
August,2008
Has title
User Interfaces for Portable Proofs
Has tr id
TW-2008-09
Has url
http://tw.rpi.edu/wiki.tw/images/a/aa/TW-2008-09.pdf
Has where published
Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
Has year
2008
Pdf url
http://tw.rpi.edu/wiki.tw/images/a/aa/TW-2008-09.pdf
Title
User Interfaces for Portable Proofs
Year
2008
Address
Montreal, Quebec, Canada +
Author
Paulo Pinheiro da Silva +, Nicholas Del Rio +, Deborah McGuinness +, Li Ding +, Cynthia Chang +, Geoff Sutcliffe +
Booktitle
Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) +
Has author
Paulo Pinheiro da Silva +, Nicholas Del Rio +, Deborah McGuinness +, Li Ding +, Cynthia Chang +, Geoff Sutcliffe +
Has identifier
User Interfaces for Portable Proofs +
Month
August +
Pdf
TW-2008-09.pdf +
redirect page User Interfaces for Portable Proofs +
Categories Publication +, TW Technical Report +, Workshop Paper +
|
