|
СБ |
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday |
2019 |
|
Lecture Notes in Computer Science |
- Lutz C.
- Sattler U.
- Tinelli C.
- Turhan A. -Y.
|
|
|
28.06.2019 |
|
СБ |
Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Baier Ch.
- Tinelli C.
|
|
|
15.10.2015 |
|
СБ |
Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011 |
2011 |
|
Lecture Notes in Artificial Intelligence |
- Tinelli C.
- Sofronie-Stokkermans V.
|
|
|
24.01.2012 |
