Suchergebnisse - Schmidt, Renate A.

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

    Algebraic terminological representation
    von Schmidt, Renate A.

    Veröffentlicht 1991
    Buch


    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: “… Schmidt, Renate A. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Automated reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part II

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Schmidt, Renate A. …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Automated reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part I

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Schmidt, Renate A. …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    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: “… Schmidt, Renate A. …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: