Contributions to ICFCA 2009
From International Center for Computational Logic
Contributions to ICFCA 2009
Karl Erich WolffKarl Erich Wolff, Sebastian RudolphSebastian Rudolph, Sébastien FerréSébastien Ferré
![Contributions to ICFCA 2009 Contributions to ICFCA 2009](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
- ISBN: 3-935924-08-9
Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@proceedings{WRF2009,
author = {Karl Erich Wolff and Sebastian Rudolph and S{\'{e}}bastien
Ferr{\'{e}}},
title = {Contributions to {ICFCA} 2009},
publisher = {Verlag Allgemeine Wissenschaft},
year = {2009},
month = {May}
}