Treffer 1 - 2 von 2 für Suche 'Sinnadurai, Gabrielle', Suchdauer: 0,56s Treffer weiter einschränken
  1. 1
    Pandora: A Reasoning Toolbox using Natural Deduction Style

    Pandora: A Reasoning Toolbox using Natural Deduction Style von Broda, Krysia, Ma, Jiefei, Sinnadurai, Gabrielle, Summers, Alexander

    Veröffentlicht in Logic journal of the IGPL

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Friendly e-tutor for Natural Deduction

    Friendly e-tutor for Natural Deduction von Krysia Broda, Jiefei M, Alex Summers, Gabrielle Sinnadurai


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: