SPLT 1984: Plestin-les-Grèves, France

Implémentation de PROLOG

PROLOG et Bases de Données

Langage naturel

Systèmes experts

PROLOG et LISP

Sémantique des programmes logiques

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics