Showing 1 - 11 results of 11 for search '', tempo de consulta: 0.17s Limitar resultados
  1. 1
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  2. 2
    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  3. 3
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  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 /
    Publicado 2002

    Conference Proceeding Libro
  5. 5
    Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  6. 6
    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  7. 7
    Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  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 /
    Publicado 2002

    Conference Proceeding Libro
  9. 9
    Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  10. 10
    Flexible query answering systems : 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 2002 : proceedings /
    Publicado 2002

    Conference Proceeding Libro
  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 /
    Publicado 2003

    Libro
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura