dblp.uni-trier.de www.uni-trier.de

SPLT 1990: Trégastel, France

Serge Bourgault, Mehmet Dincbas (Eds.): SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France. 1990 BibTeX
@proceedings{DBLP:conf/jfplc/1990,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'90, 8$^{\mbox{{\`e}me}}$ S{\'e}minaire Programmation en Logique, 16-18 mai 1990, Tr{\'e}gastel,
               France},
  booktitle = {SPLT},
  year      = {1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Applications

Extensions

Prolog et Base de Données

Prolog et Objets

Nouveaux formalismes

Génération de jeux de test

Sémantique de la Programmation en logique

Parallélisme

Négation

Programmation par contraintes

Implémentation

Papier Invité

Chute

Copyright © Sat May 16 23:27:41 2009 by Michael Ley (ley@uni-trier.de)