Suchergebnisse - Nalon, Cláudia

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Automated reasoning with analytic tableaux and related methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Nalon, Cláudia …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Automated reasoning with analytic tableaux and related methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Nalon, Cláudia …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: