FOAF:name Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
From Tetherless World Wiki
A list of all pages that have property "FOAF:name" with value "Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)"
