Tag:Prover

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

logic math ontology rdf work reasoner dl castalia later owl descriptionlogic revisarlas tableaux tableau rules tableux rubimportado to-read

Articles

Method of analytic tableaux (2)
logic math ontology work reasoner wikipedia rdf prover tableau rules tableaux tableux rubimportado to-read descriptionlogic castalia dl later owl revisarlas

Retrieved from "http://en.wikipedia.org/wiki/Tag:Prover"

Views

Personal tools

NOTE: This is just a prototype of tag-based navigation on Wikipedia. Visit Wikipedia for the online encyclopedia.Log in / create account

Search

Toolbox