SPLT 1983: Perros-Guirec, France

Implémentation de PROLOG

PROLOG et Bases de Données

Nouveaux systèmes de programmation en logique

Problèmes généraux

a service of Schloss Dagstuhl - Leibniz Center for Informatics