Treffer 1 - 3 von 3 für Suche 'Veldman, Jip', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts

    The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts von Cramer, Marcos, Fisseni, Bernhard, Koepke, Peter, Kühlwein, Daniel, Schröder, Bernhard, Veldman, Jip


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

    From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics von Veldman, Jip, Fisseni, Bernhard, Schröder, Bernhard, Koepke, Peter

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

    The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts von Cramer, Marcos, Fisseni, Bernhard, Koepke, Peter, Kühlwein, Daniel, Schröder, Bernhard, Veldman, Jip

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: