Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)

From Tetherless World Wiki

Jump to: navigation, search
User Interfaces for Portable Proofs +  Booktitle
Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
FOAF:name  Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
Categories  Entity +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools