Suchergebnisse - Goré, Rajeev

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

    Cut-free sequent and tableau systems for propositional Diodorean modal logics
    von Goré, Rajeev

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Electronic voting: Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Goré, Rajeev …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Intuitionistic modal logic and applications (IMLA '02): workshop proceedings : LICS satellite workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002.

    Veröffentlicht 2002
    Weitere beteiligte Personen: “… Goré, Rajeev …”
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: