Category:Topic theorem prover
From semanticweb.org
[edit] Short Definition
This topic is about theorem provers.
theorem prover is a part of the Semantic Web Topic Hierarchy. It was introduced in version 2 as described in History of the Semantic Web Topic Hierarchy.
[edit] More External Information about theorem prover
- Search for Semantic Web publications using FacetedDBLP (the search is restricted to the main venues publishing about 'Semantic Web').
- Search for computer science publications using FacetedDBLP
- Search for computer science experts using ASPL-2
- Search for computer science publishing venues using ASPL-2
- Search for Semantic Web tools and applications for theorem prover
- Search for scientific publications as phrase or bag of keywords on Google Scholar
- Search as phrase or bag of keywords on Google
- Look into Wikipedia
- Search for Semantic Web educational resources on REASE
- Search the Ontology Outreach Advisory
This category currently contains no pages or media.
