16 search results - page 4 / 4 » Deep Inference in Bi-intuitionistic Logic |
ER
2004
Springer
13 years 10 months ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...