Conferences in DBLP
N. Caridroit Représentation des connaissances par ensemble d'atomes et clauses de Horn. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Hascoët A tactic-driven system for building proofs. [Citation Graph (0, 0)][DBLP ] Conf ] L. Regnier Logique linéaire et Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Alexandre , Jean-Pierre Finance , Alain Quéré SPES: un système de transformation de programmes logiques. [Citation Graph (0, 0)][DBLP ] Conf ] A. Belkhiri Transformation de programmes Prolog avec insertion de "slash". [Citation Graph (0, 0)][DBLP ] Conf ] Remi Legrand Gel implicite, calcul formel et résolution d'équations en programmation logique. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Jacques Chabrier , François Jacquenet VEGA: une nouvelle méthode de programmation en logique. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Blay-Fornarino , Anne-Marie Pinna-Dery Intégration de concepts de la programmation en logique à un langage de schémas paramétré. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Conrad EQUATOR: a Many-Sorted Prolog based on Equational Unification. [Citation Graph (0, 0)][DBLP ] Conf ] O. Nerrand , Claudette Sayettat Prolog et les opérateurs temporels. [Citation Graph (0, 0)][DBLP ] Conf ] A. Marquez NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Berthier Using CHIP to support decision making. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Migault , François Rousselot , Bernard Keith , J. M. Jeltsch Un système d'aide à l'expérimention en génie génétique. [Citation Graph (0, 0)][DBLP ] Conf ] Huy Nam Nguyen , L. Ducousso Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. [Citation Graph (0, 0)][DBLP ] Conf ] R. Hascoet , J. Fumeron De l'utilisation de Prolog pour des applications à vocation industrielle. [Citation Graph (0, 0)][DBLP ] Conf ] E. Hubert , L. Battandier , D. Bonnard , P. Broyer Du prototype à l'application: éléments de méthode et outils. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Codognet , Philippe Codognet , Gilberto Filé Yet another intelligent Backtracking method. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Delahaye Stratégie générale d'exploration et coupe-choix. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Janot Programmation logique avec des interpréteurs équitables. [Citation Graph (0, 0)][DBLP ] Conf ] Hendrik Decker Domain-Independent and Range-Restricted Formulas and Deductives Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Michel Cornily Couplage Prolog/base de données: un modèle asynchrone. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Syre , Philippe Robert , Jacques Chassin de Kergommeaux Le système logique parallèle PEPSys. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Percebois , F. Guerin , G. Orzati Parallélisme-OU et assertions Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Duprat LAIOS: une exécution parallèle de Prolog par recopie des données. [Citation Graph (0, 0)][DBLP ] Conf ] G. Richard , Antoine Rizk Sémantique de Parlog, un langage logique parallèle. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Loia , Michel Quaggetto , François-Xavier Testard-Vaillant Outils pour l'implémentation des interprètes Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Louis Dewez , Jean-Michel Douin , Philippe Lucas , J. L. Pruvot L'environnement Modulog. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Lassez From Unification to Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] 