@cschon

Semantically Guided Evolution of SHI ABoxes

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

Линки и ресурсы

ключ BibTeX:
DBLP:conf/tableaux/FurbachS13
искать в:

Комментарии и рецензии  
(0)

Комментарии, или рецензии отсутствуют. Вы можете их написать!

Tags


Цитировать эту публикацию