國立高雄大學圖資館 |

Language: English

Back

Description logic, theory combinatio...

Lutz, Carsten.

Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Description logic, theory combination, and all thatedited by Carsten Lutz ... [et al.].
Reminder of title:	essays dedicated to Franz Baader on the occasion of his 60th birthday /
other author:	Lutz, Carsten.
Published:	Cham :Springer International Publishing :2019.
Description:	xiii, 662 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer logic.
Online resource:	https://doi.org/10.1007/978-3-030-22102-7
ISBN:	9783030221027$q(electronic bk.)

Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /
Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /[electronic resource] :edited by Carsten Lutz ... [et al.]. - Cham :Springer International Publishing :2019. - xiii, 662 p. :ill., digital ;24 cm. - Lecture notes in computer science,115600302-9743 ;. - Lecture notes in computer science ;4891..

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.

ISBN: 9783030221027$q(electronic bk.)

Standard No.: 10.1007/978-3-030-22102-7doiSubjects--Topical Terms:

199471
Computer logic.

LC Class. No.: QA76.9.L63 / D47 2019

Dewey Class. No.: 005.1015113

Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /
LDR:01725nmm a2200337 a 4500 001 586824
003 DE-He213
005 20200706210309.0
006 m d
007 cr nn 008maaau
008 210326s2019 sz s 0 eng d
020 $a 9783030221027$q(electronic bk.)
020 $a 9783030221010$q(paper)
024 7 $a 10.1007/978-3-030-22102-7 $2 doi
035 $a 978-3-030-22102-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.L63 $b D47 2019
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.1015113 $2 23
090 $a QA76.9.L63 $b D449 2019
245 0 0 $a Description logic, theory combination, and all that $h [electronic resource] : $b essays dedicated to Franz Baader on the occasion of his 60th birthday / $c edited by Carsten Lutz ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xiii, 662 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11560
490 1 $a Theoretical computer science and general issues
520 $a This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
650 0 $a Computer logic. $3 199471
650 1 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Computer Appl. in Administrative Data Processing. $3 275283
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Information Systems and Communication Service. $3 274025
700 1 $a Lutz, Carsten. $3 306100
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-22102-7
950 $a Computer Science (SpringerNature-11645)