System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic | BibSonomy
BibSonomy now supports HTTPS. Switch to HTTPS.
@cschon

System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic

, , and . Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, volume 7898 of Lecture Notes in Computer Science, Springer, (2013)

Documents: true

Links and resources

BibTeX key:
cadesd
search on:

Comments and Reviews  
(0)

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

Tags


Cite this publication