Cargando…
Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
Autores principales: | Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2755754 |
Ejemplares similares
-
Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
por: Martí-Oliet, Narciso, et al.
Publicado: (2015) -
Computability and complexity: essays dedicated to Rodney G. Downey on the occasion of his 60th birthday
por: Day, Adam, et al.
Publicado: (2016) -
Models, mindsets, meta: essays dedicated to Bernhard Steffen on the occasion of his 60th birthday
por: Margaria, Tiziana, et al.
Publicado: (2019) -
Modeled, tested, trusted: essays dedicated to Ed Brinksma on the occasion of his 60th birthday
por: Katoen, Joost-Pieter, et al.
Publicado: (2017) -
Principles of modeling: essays dedicated to Edward A. Lee on the occasion of his 60th birthday
por: Lohstroh, Marten, et al.
Publicado: (2018)