Zobrazuji výsledky 1 - 11 z 11 pro vyhledávání '', doba hledání: 0,11 s. Upřesnit hledání
  1. 1
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  2. 2
    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  3. 3
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  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 /
    Vydáno 2002

    Konferenční příspěvek Kniha
  5. 5
    Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  6. 6
    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  7. 7
    Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  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 /
    Vydáno 2002

    Konferenční příspěvek Kniha
  9. 9
    Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  10. 10
    Flexible query answering systems : 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 2002 : proceedings /
    Vydáno 2002

    Konferenční příspěvek Kniha
  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 /
    Vydáno 2003

    Kniha
Vyhledávací nástroje: RSS — Poslat e-mailem