Offre spéciale sur les Précis de droit Stämpfli : Jusqu’à fin novembre, profitez d’un rabais de 20% sur les manuels d’enseignement et les livres pour la pratique suivants.
Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Description Logic, Theory Combination, and All That

Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Livre (broché)124.00 CHF
livrable dans env. 20-45 jours

Contenu

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.

Informations bibliographiques

juin 2019, 662 Pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer Nature EN
978-3-030-22101-0

Sommaire

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout
Computing and Software Science
State of the Art and Perspectives
Springer Nature EN, 2019
978-3-319-91907-2
110.00 CHF
livrable dans env. 20-45 jours
RoboCup 2018: Robot World Cup XXII
Springer Nature EN, 2019
978-3-030-27543-3
113.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Constrained Markov Sequence Generation
Applications to Music and Text
Springer Nature EN, 2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
C++ Crash Course, 2nd Edition
A Fast-Paced Introduction
Random House N.Y., 2025
978-1-71850-110-2
97.00 CHF
livrable dans env. 20-45 jours
Principal Component and Correspondence Analyses Using R
Springer Nature EN, 2028
978-3-319-09255-3
env. 69.00 CHF
disponible dès septembre 2028
Mechatronische Systeme
Lösungsansätze und - methoden zur Informationsverarbeitung
De Gruyter, 2030
978-3-11-047107-6
env. 102.00 CHF
disponible dès janvier 2030
Encyclopedia of Robotics
Springer Nature EN, 2026
978-3-662-43769-8
env. 1419.00 CHF
disponible dès janvier 2026
Human-Machine interfaces in Medical Robotics
Elsevier, 2026
978-0-443-13723-5
env. 225.00 CHF
disponible dès janvier 2026
Coherence-Targeted Text Summarization
Springer Nature ENTongji University Press, 2051
978-981-10-7943-6
env. 116.00 CHF
disponible dès janvier 2051
Personas Across Cultures
Representing the Next Billion Users
Springer Nature EN, 2026
978-3-030-24350-0
env. 146.00 CHF
disponible dès avril 2026
World Heritage and Sustainable Development
Springer Nature EN, 2025
978-3-642-27684-2
env. 134.00 CHF
disponible dès avril 2025