|
Conferences in DBLP
- F. Carre, P. Salle
Acteurs et programmation en logique: ALOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Christian Percebois, A. Lartigue
Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Jean-Marie Nicolas
Bases de données logiques et programmation en logique. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- François Fages
Note sur l'unification des termes de premier ordre finis et infinis. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Mehmet Dincbas, Jean-Pierre Le Pape
Nouvelle implémentation de METALOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- P. Greussay
Un mariage heureux entre LISP et PROLOG: le système LOVLISP. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Pierre Deransart
Une sémantique opérationnelle algébrique de programmes PROLOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Robert Demolombe
Interface entre PROLOG et un SGBD. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Hervé Gallaire
PROLOG et Bases de Données. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Alain Colmerauer
Prolog en 10 figures. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Gilles Berger-Sabbatel, Gia Toan Nguyen
La machine base de données OPALE. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Michel Van Caneghem
Compilation d'un sous-PROLOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape
LISLOG: L'an II. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Patrice Boizumault
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- M. Martin
Les nouvelles possibilités de PROLOG/Pascal-Multics. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
|