Description Logic, Theory Combination, and All That / Lecture Notes in Computer Science Bd.11560 (PDF)
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Description Logic, Theory Combination, and All That / Lecture Notes in Computer Science Bd.11560 (PDF)“
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.
Bibliographische Angaben
- 2019, 1st ed. 2019, 662 Seiten, Englisch
- Herausgegeben: Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030221024
- ISBN-13: 9783030221027
- Erscheinungsdatum: 25.06.2019
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 16 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Description Logic, Theory Combination, and All That / Lecture Notes in Computer Science Bd.11560"
Schreiben Sie einen Kommentar zu "Description Logic, Theory Combination, and All That / Lecture Notes in Computer Science Bd.11560".
Kommentar verfassen