Contributions to ICFCA 2009
Aus International Center for Computational Logic
Contributions to ICFCA 2009
Karl Erich WolffKarl Erich Wolff, Sebastian RudolphSebastian Rudolph, Sébastien FerréSébastien Ferré
- 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}
}