Description Logic, Theory Combination, and All That

Bücher

Angebote / Angebote:

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 in ca. 20-45 Arbeitstagen

Preis

124,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783030221010
Autor Lutz, Carsten / Sattler, Uli / Tinelli, Cesare / Turhan, Anni-Yasmin / Wolter, Frank
Einband 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)
Sprache eng
Anzahl Seiten 662
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Jahr 2019

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.