BibSonomy now supports HTTPS. Switch to HTTPS.
@cschon

Semantically Guided Evolution of SHI ABoxes

, and . Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, volume 8123 of Lecture Notes in Computer Science, Springer, (2013)

Links and resources

BibTeX key:
DBLP:conf/tableaux/FurbachS13
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication