没有合适的资源?快使用搜索试试~ 我知道了~
Description Logic, Theory Combination, and All That
需积分: 10 1 下载量 15 浏览量
2019-07-04
11:48:14
上传
评论
收藏 16.95MB PDF 举报
温馨提示
试读
673页
Description Logic, Theory Combination, and All That,ssays Dedicated to Franz Baader on the Occasion of His 60th Birthday,2019
资源推荐
资源详情
资源评论
Carsten Lutz · Uli Sattler ·
Cesare Tinelli · Anni-Yasmin Turhan ·
Frank Wolter (Eds.)
Description Logic,
Theory Combination,
and All That
Festschrift
LNCS 11560
Essays Dedicated to Franz Baader
on the Occasion of His 60th Birthday
123
Lecture Notes in Computer Science 11560
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board Members
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology Madras, Chennai, India
Bernhard Steffen
TU Dor tmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Carsten Lutz
•
Uli Sattler
•
Cesare Tinelli
•
Anni-Yasmin Turhan
•
Frank Wolter (Eds.)
Description Logic, Theory
Combination, and All That
Essays Dedicated to Franz Baader
on the Occasion of His 60th Birthday
123
Editors
Carsten Lutz
University of Bremen
Bremen, Germany
Uli Sattler
University of Manchester
Manchester, UK
Cesare Tinelli
University of Iowa
Iowa City, IA, USA
Anni-Yasmin Turhan
TU Dresden
Dresden, Germany
Frank Wolter
University of Liverpool
Liverpool, UK
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notes in Computer Science
ISBN 978-3-030-22101-0 ISBN 978-3-030-22102-7 (eBook)
https://doi.org/10.1007/978-3-030-22102-7
LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues
© Springer Nature Switzerland AG 2019
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now
known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are
believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in
published maps and institutional affiliations.
Cover illustration: Based on an idea by Anni-Yasmin Turhan, the cover illustration was specifically created
for this volume by Stefan Borgwardt.
This Springer imprint is published by the registered company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
剩余672页未读,继续阅读
资源评论
weixin_38290023
- 粉丝: 4
- 资源: 224
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功