Supplementary Proceedings of ICCS'09

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Supplementary Proceedings of ICCS'09

Sebastian RudolphSebastian Rudolph,  Frithjof DauFrithjof Dau,  Sergei O. KuznetsovSergei O. Kuznetsov

• ISSN: 1613-0073

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR

• Details
• Bibtex

• Weitere Informationen unter:Further Information: Link
• Forschungsgruppe:Research Group: Computational LogicComputational 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}
}