1989 share record
persistent URL:
Francis Alexandre : Une heuristique pour transformer des programmes logiques. SPLT 1989 : 143-158 share record
persistent URL:
Pierre Azéma , François Vernadat , Jean Christophe Lloret : Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. SPLT 1989 : 187-212 share record
persistent URL:
Jacques Bellone , AbdelAli Ed-Dbali , Christian Gresse : Generic Extensions of a Prolog Browser. SPLT 1989 : 331-344 share record
persistent URL:
D. Bourget , Remi Legrand : Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. SPLT 1989 : 441- share record
persistent URL:
Pascal Brisset , Olivier Ridoux : Quelques applications du filtrage paresseux. SPLT 1989 : 479- share record
persistent URL:
Giuseppe Cattaneo , Vincenzo Loia , Michel Quaggetto : Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration. SPLT 1989 : 345- share record
persistent URL:
Thierry Chanier , C. Fournier : ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications. SPLT 1989 : 265- share record
persistent URL:
N. Cherif , Serge Bourgault : Génération de scènes animées à partir du texte. SPLT 1989 : 583- share record
persistent URL:
Christian Codognet , Philippe Codognet : Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. SPLT 1989 : 423-440 share record
persistent URL:
Nadine Cullot , Jean-Jacques Chabrier : STRALOG: Système expérimental de programmation logique multi-stratégies. SPLT 1989 : 287-310 share record
persistent URL:
J. F. Dazy , J. M. Pozas : Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog. SPLT 1989 : 523-540 share record
persistent URL:
Jean-Paul Delahaye , Philippe Mathieu : Logique Partielle et Prolog. SPLT 1989 : 311- share record
persistent URL:
Christophe Delaunay , Patrick Saint-Dizier : Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liage. SPLT 1989 : 237-264 share record
persistent URL:
Pierre Deransart : Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques. SPLT 1989 : 41- share record
persistent URL:
Pierre Deransart , Gérard Ferrand : Une vue méthodologique de la Programmation en Logique avec négation. SPLT 1989 : 403- share record
persistent URL:
Pierre Deransart , Gérard Ferrand , Michel Téguia : Test d'occurence en PROLOG et grammaires attribuées. SPLT 1989 : 113-142 share record
persistent URL:
Philippe Ézéquel : Sur la décomposabilité de programmes logiques. SPLT 1989 : 25-40 share record
persistent URL:
Hervé Gallaire : Programmation en Logique: faire encore plus. SPLT 1989 : 605- share record
persistent URL:
Marcel Gandriau , Christiane Massoutie : Classes et Types: aides à la programmation en logique. SPLT 1989 : 57-70 share record
persistent URL:
Paul Y. Gloess : U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. SPLT 1989 : 71-96 share record
persistent URL:
Jean-Luc Guérin , Paul Y. Gloess : Programmation Logique et Objets sans variables par le dessin. SPLT 1989 : 97- share record
persistent URL:
François Jacquenet : Le traitement des exceptions en programmation logique avec VEGA. SPLT 1989 : 159- share record
persistent URL:
P. Jary , X. de Joybert , P. Arsac : Sélection de clauses en Prolog. SPLT 1989 : 499-522 share record
persistent URL:
Didier Ladret : Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! SPLT 1989 : 379-402 share record
persistent URL:
Remi Legrand : Relationnalisation des programmes logiques. SPLT 1989 : 541- share record
persistent URL:
Bruno Marre : Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. SPLT 1989 : 213- share record
persistent URL:
Huy Nam Nguyen , L. Ducousso : Automated synthesis of combinational logic using problem solving techniques. SPLT 1989 : 577-582 share record
persistent URL:
Franck Porcher , Henri Behringer : Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle). SPLT 1989 : 459-478 share record
persistent URL:
Jean-Francois Puget : Evaluation partielle des échecs en Prolog. SPLT 1989 : 361-378 share record
persistent URL:
R. Vives : Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c. SPLT 1989 : 557-576