Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday

Detalles Bibliográficos
Autores principales: Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755754
_version_ 1780969705953034240
author Lutz, Carsten
Sattler, Uli
Tinelli, Cesare
Turhan, Anni-Yasmin
Wolter, Frank
author_facet Lutz, Carsten
Sattler, Uli
Tinelli, Cesare
Turhan, Anni-Yasmin
Wolter, Frank
author_sort Lutz, Carsten
collection CERN
id cern-2755754
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27557542021-04-21T16:42:09Zhttp://cds.cern.ch/record/2755754engLutz, CarstenSattler, UliTinelli, CesareTurhan, Anni-YasminWolter, FrankDescription logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthdayXXSpringer International Publishing AGoai:cds.cern.ch:27557542019
spellingShingle XX
Lutz, Carsten
Sattler, Uli
Tinelli, Cesare
Turhan, Anni-Yasmin
Wolter, Frank
Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
title Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
title_full Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
title_fullStr Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
title_full_unstemmed Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
title_short Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
title_sort description logic, theory combination, and all that: essays dedicated to franz baader on the occasion of his 60th birthday
topic XX
url http://cds.cern.ch/record/2755754
work_keys_str_mv AT lutzcarsten descriptionlogictheorycombinationandallthatessaysdedicatedtofranzbaaderontheoccasionofhis60thbirthday
AT sattleruli descriptionlogictheorycombinationandallthatessaysdedicatedtofranzbaaderontheoccasionofhis60thbirthday
AT tinellicesare descriptionlogictheorycombinationandallthatessaysdedicatedtofranzbaaderontheoccasionofhis60thbirthday
AT turhananniyasmin descriptionlogictheorycombinationandallthatessaysdedicatedtofranzbaaderontheoccasionofhis60thbirthday
AT wolterfrank descriptionlogictheorycombinationandallthatessaysdedicatedtofranzbaaderontheoccasionofhis60thbirthday

Ejemplares similares