https://www.dagstuhl.de/97363

03. – 05. September 1997, Event 97363

CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"

Organisator

F. Baader (Aachen), H. Comon (LRI, Paris-Sud), G. Smolka (DFKI-Saarbrücken & Uni-Saarbrücken)

Auskunft zu diesem Event erteilt

Heike Clemens

Dokumente

Externe Homepage

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.