Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
From Tetherless World Wiki
|
Basic Metadata [ Edit ] | |
|---|---|
| Name | Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) |
Facts about Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)RDF feed
| FOAF:name | Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) + |
