Frank Wolter - Böcker
Visar alla böcker från författaren Frank Wolter. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 11560 - Lecture Notes in Computer Science
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Häftad, Engelska, 2019
536 kr
Skickas inom 10-15 vardagar
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.
Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Häftad, Engelska, 2007
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
Del 40 - Schriften Zu Marketing Und Management
Koordination Im Internationalen Umweltmanagement
Dargestellt an Beispielen Aus Der Automobilindustrie
Häftad, Tyska, 2002
713 kr
Tillfälligt slut
Fundamentals of Computation Theory
19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
Häftad, Engelska, 2013
538 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.
2 255 kr
Skickas inom 5-8 vardagar
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on “Advances in Modal Logic”, held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.