System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic
M. Bender, B. Pelzer, und C. Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, Volume 7898 von Lecture Notes in Computer Science, Springer, (2013)
%0 Conference Paper
%1 cadesd
%A Bender, Markus
%A Pelzer, Björn
%A Schon, Claudia
%B Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings
%D 2013
%E Bonacina, Maria Paola
%I Springer
%K myown schon west.uni-koblenz.de
%T System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic
%V 7898
@inproceedings{cadesd,
added-at = {2016-10-07T08:42:40.000+0200},
author = {Bender, Markus and Pelzer, Bj\"orn and Schon, Claudia},
biburl = {https://www.bibsonomy.org/bibtex/2665176d8725eee44889e02ec28a8e669/cschon},
booktitle = {Automated Deduction - {CADE-24}, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings},
date-added = {2013-04-09 11:57:58 +0200},
date-modified = {2015-12-22 19:47:49 +0000},
editor = {Bonacina, Maria Paola},
interhash = {5d8ad2d57f5049e00bcc5c0367a44af6},
intrahash = {665176d8725eee44889e02ec28a8e669},
keywords = {myown schon west.uni-koblenz.de},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2017-07-12T13:49:23.000+0200},
title = {System Description: {E-KRHyper} 1.4 - Extensions for Unique Names and Description Logic},
volume = 7898,
year = 2013
}