Max-Planck-Institut für Informatik
Werke:
- Künstliche Intelligenz und Operations-Research : Workshop, Berlin, 13. - 14. September 1993 ; extended abstracts
- Genetic algorithms within the framework of evolutionary computation : proceedings of the KI-94 workshop
- Basic paramodulation
- Integration of declarative paradigms : proceedings of the ICLP '94 post-conference workshop, Santa Margherita Ligure, Italy. [Max-Planck-Institut für Informatik]. Hassan Ai͏̈t-Kaci ... (ed.)