Treffer 1 - 1 von 1 für Suche 'Ketonen, Jussi', Suchdauer: 0,67s Treffer weiter einschränken
  1. 1
    A decision procedure revisited notes on direct logic, linear logic and its implementations

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: