Supplementary Proceedings of ICCS'09
Aus International Center for Computational Logic
Supplementary Proceedings of ICCS'09
Sebastian RudolphSebastian Rudolph, Frithjof DauFrithjof Dau, Sergei O. KuznetsovSergei O. Kuznetsov

- ISSN: 1613-0073
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
- Weitere Informationen unter:Other info: Link
- Forschungsgruppe:Research Group: Computational Logic
@proceedings{RDK2009,
author = {Sebastian Rudolph and Frithjof Dau and Sergei O. Kuznetsov},
title = {Supplementary Proceedings of {ICCS'09}},
series = {CEUR Workshop Proceedings},
volume = {483},
publisher = {CEUR},
year = {2009},
month = {July}
}