User Interfaces for Portable Proofs

From Tetherless World Wiki

Jump to: navigation, search

TW-2008-09 Edit TWTR
Citation: Paulo Pinheiro da Silva,Nicholas Del Rio,Deborah McGuinness,Li Ding,Cynthia Chang,Geoff Sutcliffe. (2008) User Interfaces for Portable Proofs. In Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), August,2008. (Download)

Publication inproceedings ( Edit )
type Workshop Paper
bibtype inproceedings
Bibtex basics
author Paulo Pinheiro da Silva;Nicholas Del Rio;Deborah McGuinness;Li Ding;Cynthia Chang;Geoff Sutcliffe
title User Interfaces for Portable Proofs
booktitle Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
address Montreal, Quebec, Canada
year 2008
month August
Bibtex more
Access Paper
pdf TW-2008-09.pdf
pdf url http://tw.rpi.edu/wiki.tw/images/a/aa/TW-2008-09.pdf
Facts about User Interfaces for Portable ProofsRDF feed
Address Montreal, Quebec, Canada  +
Author Paulo Pinheiro da Silva  +, Nicholas Del Rio  +, Deborah McGuinness  +, Li Ding  +, Cynthia Chang  +, and Geoff Sutcliffe  +
Bibtype inproceedings  +
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  +, and Geoff Sutcliffe  +
Has identifier TW-2008-09  +
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  +
Month August  +
Pdf TW-2008-09.pdf  +
Pdf url http://tw.rpi.edu/wiki.tw/images/a/aa/TW-2008-09.pdf  +
Title User Interfaces for Portable Proofs  +
Year 2008  +
Retrieved from "http://tw.rpi.edu/wiki/User_Interfaces_for_Portable_Proofs"
Personal tools