Research Meeting 97363
CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"
( Sep 03 – Sep 05, 1997 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/97363
Organizers
- F. Baader (Aachen)
- G. Smolka (DFKI-Saarbrücken & Uni-Saarbrücken)
- H. Comon (LRI, Paris-Sud)