Résultat(s) 1 - 11 résultats de 11 pour la requête '', Temps de recherche: 0,16s Affiner les résultats
  1. 1
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  2. 2
    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  3. 3
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  4. 4
    Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  5. 5
    Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  6. 6
    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  7. 7
    Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  8. 8
    Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  9. 9
    Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  10. 10
    Flexible query answering systems : 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 2002 : proceedings /
    Publié 2002

    Actes de congrès Livre
  11. 11
    The challenge of the new partnership for Africa's development : NEPAD : papers from a panel discussion on New Partnership for Africa's Development (NEPAD) at the University of Copenhagen, Alexandersalen, 12 September 2002 /
    Publié 2003

    Livre
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel