@cschon

Semantically Guided Evolution of SHI ABoxes

U. Furbach, und C. Schon. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings , Volume 8123 von Lecture Notes in Computer Science, Springer, (2013)

Links und Ressourcen

BibTeX-Schlüssel:
DBLP:conf/tableaux/FurbachS13
Suchen auf:

Kommentare und Rezensionen  
(0)

Es gibt bisher keine Rezension oder Kommentar. Sie können eine schreiben!

Tags


Zitieren Sie diese Publikation