Suchergebnisse - Ketonen, Jussi

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

    A decision procedure revisited: notes on direct logic, linear logic and its implementations
    von Bellin, Gianluigi, Ketonen, Jussi

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: