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.
Lieferbar
ISBN | 9783030221010 |
---|---|
Sprache | eng |
Cover | C, Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs, Computer Appl. in Administrative Data Processing, Software Engineering/Programming and Operating Systems, Information Systems and Communication Service, Mathematical Logic and Foundations, Theory of Computation, Computer and Information Systems Applications, Software Engineering, Database Management System, computer science, Mathematical logic, Computer logic, Application software, Computers, Computer programming / software engineering, Computer architecture & logic design, Public Administration, Information technology: general issues, Operating systems, Computer networking & communications, Kartonierter Einband (Kt) |
Verlag | Springer Nature EN |
Jahr | 2019 |
Dieser Artikel hat noch keine Bewertungen.