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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Mar3113020010231
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783030221010_new
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. Seller Inventory # 6666-IUK-9783030221010
Quantity: 10 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 676 pp. Englisch. Seller Inventory # 9783030221010
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. 1st ed. 2019 edition NO-PA16APR2015-KAP. Seller Inventory # 26376482040
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand. Seller Inventory # 369563431
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 678 pages. 9.25x6.10x1.38 inches. In Stock. Seller Inventory # x-3030221016
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Written by expertsHigh-quality selected papersState-of-the-art researchThis Festschrift has been put together on the occasion of Franz Baader s 60th birthday to celebrate his fundamental and highly influential scientific contribu. Seller Inventory # 293477215
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND. Seller Inventory # 18376482034
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 676 pp. Englisch. Seller Inventory # 9783030221010