Conferences in DBLP
(lmo) Markus Lumpe , Jean-Guy Schneider , Oscar Nierstrasz Using Metaobjects to Model Concurrent Objects with PICT. [Citation Graph (0, 0)][DBLP ] Conf ] François Laburthe , Yves Caseau Ecrire du code élégant pour des algorithmes complexes. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Collet , Roger Rousseau Classification et réification des assertions - Application au langage Eiffel. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Augeraud Conception orientée objet d'applications concurrentes. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal André Vers un modèle formel en analyse à objets. [Citation Graph (0, 0)][DBLP ] Conf ] F. Mansouri Raisonnement taxinomique dans les bases de données objets spatiales. [Citation Graph (0, 0)][DBLP ] Conf ] Zohra Bellahsene Modifications virtuelles d'une hiérarchie de classes. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demphlous , Franck Lebastard Intégration de langages et de bases de données à objets : une approche par les méta-objets. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Bournaud , Jean-Gabriel Ganascia Construction de hiérarchies conceptuelles pour l'organisation de connaissances. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Crampe , Jérôme Euzenat Fondements de la révision dans un langage d'objets simple. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Pierre Chouvet , Florence Le Ber , Jean Lieber , Ludmila Mangelinck , Amedeo Napoli , Arnaud Simon Analyse des besoins en représentation et raisonnement dans une représentation à objets - L'exemple de Y3. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Caseau La définition de règles logiques sur les objets dans le langage Claire. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Ducournau Les incertitudes de la classification incertaine. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Vismara Appariements dirigés pour le raisonnement par classification sur des hiérarchies de graphes. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Breidenstein , Francis Wolinski Un modèle de representation des connaissances pour l'imputation comptable. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Rémy Synthèse de types dans les langages à objets. [Citation Graph (0, 0)][DBLP ] Conf ] T. Berger , T. Kessel , François Rousselot , Michael Schlick C3L : un système qui intègre logique de description et frames. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Dami Liaison dynamique: sémantique formelle et exploitation fonctionnelle. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Kassel LCPaide: un langage de concepts et de propositions hybride. [Citation Graph (0, 0)][DBLP ] Conf ] 