A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.
C. Lutz, U. Sattler, C. Tinelli, A. Turhan, und F. Wolter. Description Logic, Theory Combination, and All That, Volume 11560 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2019)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/birthday/LutzSTTW19
%A Lutz, Carsten
%A Sattler, Uli
%A Tinelli, Cesare
%A Turhan, Anni-Yasmin
%A Wolter, Frank
%B Description Logic, Theory Combination, and All That
%D 2019
%E Lutz, Carsten
%E Sattler, Uli
%E Tinelli, Cesare
%E Turhan, Anni-Yasmin
%E Wolter, Frank
%I Springer
%K dblp
%P 1-14
%T A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.
%U http://dblp.uni-trier.de/db/conf/birthday/baader2019.html#LutzSTTW19
%V 11560
%@ 978-3-030-22102-7
@inproceedings{conf/birthday/LutzSTTW19,
added-at = {2019-06-25T00:00:00.000+0200},
author = {Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a2abb7319f45f38bd2967b7002dfd8d1/dblp},
booktitle = {Description Logic, Theory Combination, and All That},
crossref = {conf/birthday/2019baader},
editor = {Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank},
ee = {https://doi.org/10.1007/978-3-030-22102-7_1},
interhash = {c13de86bdbca60b75b9ec53f0f5a9400},
intrahash = {a2abb7319f45f38bd2967b7002dfd8d1},
isbn = {978-3-030-22102-7},
keywords = {dblp},
pages = {1-14},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T14:05:41.000+0200},
title = {A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.},
url = {http://dblp.uni-trier.de/db/conf/birthday/baader2019.html#LutzSTTW19},
volume = 11560,
year = 2019
}