Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nadya Tareb, Yves Kodratoff |
Synthèse de spécifications à partir de programmes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 265-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | J. Fumeron |
De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 185-210, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Brice Lepape, M. Sellami, J. P. Aubert |
Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 529-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Gustavo Arango |
Prolog est-il un outil idéal pour la construction de prototypes? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 211-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hendrika Buelinckx, Ph. Francois, M. Fregier |
Une implémentation de grammaire de forme en Prolog II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 173-184, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Louis Dewez, E. Mafety |
Modulog "isa" Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 141-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet |
Programmation logique parallèle 87. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 411-440, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | J. P. Lepape, Serge Bourgault, D. Ranson |
LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 59-76, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-François Monin, E. Barrielle |
Est-ce que Prolog sait lire? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 131-140, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Nicolas 0001 |
Sur l'intégration des technologies IA et BD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 545-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart |
Preuves de correction partielle des programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 29-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand |
Une reconstruction de la programmation en logique avec négation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 7-28, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Pugin |
Using integrity constraints to control hypotheses formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 359-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | A. El Mhamedi |
Interface Prolog-Graphique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 379-390, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Thierry Gandilhon |
Proposition d'une extension objet minimale pour Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 483-506, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Paul Y. Gloess, Dung T. Nguyen |
Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 109-118, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson |
Compilation de Prolog sur une machine de traitement symbolique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 225-244, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | S. Pelhat |
Les boucles dans Prolog: structures et origines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 153-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Thierry Conrad |
Termes typés et termes globaux en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 119-130, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | R. Elboussarghini, D. Herman |
Interprétation parallèle de Prolog et Bases de données: Une application de l'algorithme de jointure par tri et composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 441-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
List concatenation via extended unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 45-58, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Celestin Sedogbo, Franz Guenthner |
Some remarks on the treatment of errors in natural language processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 391-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | |
SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Delahaye |
Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 285-306, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Louis Chevalier, Serge Le Huitouze, Olivier Ridoux |
Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 245-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, C. Moss, G. Richard |
Spécification formelle de Prolog standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 455-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | J. Eudes |
Résolution et dépendance entre données dans un programme Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 117-132, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Gilberto Filé |
Backtracking intelligent en programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 25-50, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Philippe Lebaube, Brice Lepape |
Prolog et les techniques de contrôle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 51-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | R. Lescoeur, Jean-Marc Kerisit |
Evaluation ensembliste en "largeur d'abord" dans Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 429-442, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Patrick Taillibert, S. Varennes |
MI4: Une approche industrielle des systèmes experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 537-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret |
Une représentation graphique pour Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 373-386, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Philippe Lebaube, Brice Lepape |
Evaluation partielle de requêtes dans le cadre du projet EPSILON. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 411-428, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Serge Le Huitouze, Olivier Ridoux |
Une expérience de réalisation du Gel et du Dif dans MALI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 269-280, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | S. Levionnois, A. Scrizzi |
Gestion d'une base de données virtuelle (BDV): Une application de Métalislog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 497-504, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | P. Legay, Claudette Sayettat |
Le temps, la chronologie et Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 505-520, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Pugin |
Assuming that you need to assume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 443-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jean Beney, Jean-François Boulicaut |
STARLET: un langage pour une programmation logique fiable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 253-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Alain Colmerauer |
Note sur Prolog III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 159-174, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Patrick Sallé, Christiane Massoutie, Marcel Gandriau |
Un langage logique orienté objet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 401-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure |
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 553-570, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Thierry Conrad |
Réarrangement de clauses Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 345-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Thierry Gandilhon, B. Ouazan, D. Sciamma |
LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 357-372, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | J. Durand, M. Rusinovitch |
Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 91-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Pascal Yim |
Une nouvelle approche de la programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 233-252, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jacques Bellone, R. Picca |
Concurrent Prolog: Modèle de calcul et gestion de la mémoire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 571-584, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | G. Landais |
Transformation de programmes Prolog en vue de la compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 133-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | D. Bonnard, P. Broyer, E. Hubert, F. Le Diberder |
Un système ouvert de programmation Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 309-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Gilles Berger-Sabbatel |
Mesures comportementales sur l'interprétation de Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 293-308, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | M. Kharoune, Abderrahmane Aggoun |
Deux approches du parallélisme ET en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 585-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | J. Y. Cras |
Types et fonctions en Prolog: une approche ensembliste. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 175-202, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Delahaye, P. Paradinas |
Définitions de stratégies équitables en programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 7-14, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Mehmet Dincbas, Pascal Van Hentenryck |
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 203-232, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | J. Y. Murzin |
FAON: a functional abstractor of netlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 521-536, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Y. von Kraute |
Ich habe es nicht gewollt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 611-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Gérard Ferrand |
Programmation en logique: méthodologie et enseignement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 75-90, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
OPIUM: un outil de trace sophistiqué pour PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 281-292, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | N. Azibi, Yves Kodratoff, Ernesto Jorge Costa |
Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 327-344, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | |
SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | L. Zouiten |
Implémenter Prolog dans un environnement de programmation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France, pp. 387-, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Jean-Claude Syre, Jacques Noyé |
Une revue des modèles parallèles pour PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Laurent Vieille |
Le traitement des axiomes récursifs dans les bases de données déductives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | M. Favre |
Etude de langage Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Serge Bourgault, Mehmet Dincbas (eds.) |
SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | M. Kharoune |
Manipulation formelle de programmes Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | B. Crepel |
Utilisation de PROLOG II pour la réalisation d'un système expert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Rene Quiniou, Laurent Trilling |
Des primitives pour la synchronisation des branches OU. Un exemple d'application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | D. Sciamma, X. Sola, Aristide Mégrelis |
XLOG: types, fonctions et tableaux dans Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Paul Y. Gloess |
OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | J. M. Jantke |
Prolog et la Synergéthique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Y. C. Chan |
FORTLOG = Fortran + Logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Jean Rohmer, R. Lescoeur, D. Sciamma |
BOOMRANG et ALEXANDRE ou "Comment aller de l'avant en arrière et vice-versa". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Gérard Ferrand |
Détection d'erreurs en programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Michel Billaud |
Formalisation des structures de contrôle de PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Hervé Kauffmann, Alain Grumbach |
Mondes et programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Farid Ouabdesselam |
Prolog avec égalité. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Pascal Yim |
Transformation d'un programme algorithmique en programme Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard |
Sur la détection des boucles infinies en programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | P. Clere |
Architecture de l'unité de calcul symbolique de MAIA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Christian Percebois, Irène Durand, Catherine Simon |
COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Olivier Oudot |
STARLOG: une nouvelle interprétation des clauses de Horn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Béatrice Duval, J. Y. Cras |
Une solution Prolog au problème de Schubert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Abderrahmane Aggoun, Serge Bourgault |
SYNTHEX: un système expert pour la synthèse vocale à partir du texte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Christiane Massoutie, Patrick Sallé |
Une autre interprétation top down des clauses de Horn: interface avec une base de données. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | V. Granger, Patrick Saint-Dizier |
Correction de fautes de grammaire et génération de langage naturel en PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Patrice Boizumault |
Un modèle de trace pour PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Celestin Sedogbo |
PROLOG et le traitement sémantique des langues naturelles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Michel Rueher |
La programmation logique: un outil pour l'aide à la formulation du raisonnement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Jan Maluszynski |
Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mehmet Dincbas (eds.) |
SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Paul Y. Gloess |
LOGIS, un système PROLOG dans un environnement LISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jean-François Monin |
Ecriture d'un compilateur "réel" en PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé, J. Faget, Alain Grumbach |
A propos du mariage LISP-PROLOG: les bases du langage FROG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |
Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | A. Lartigue, Christian Percebois |
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Rene Quiniou |
Analyse ascendante d'une grammaire de Montague en PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jean-Jacques Chabrier, J. Durand |
Une strategie de réécriture pour les programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | B. Clavieras, Yves Kodratoff |
Logique et apprentissage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Michèle Courant, Sophie Robin, Laurent Trilling |
Un système de traitement de petites annonces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Aristide Mégrelis, D. Sciamma, T. Banel |
Premières mesures sur l'interpréteur de PROLOG II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|