Forschungstreffen 97363
CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"
( 03. Sep – 05. Sep, 1997 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/97363
Organisatoren
- F. Baader (Aachen)
- G. Smolka (DFKI-Saarbrücken & Uni-Saarbrücken)
- H. Comon (LRI, Paris-Sud)