Treffer 1 - 4 von 4 für Suche 'Kyrilov, Angelo', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic

    Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic von Kyrilov, Angelo, Noelle, David

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis

    Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis von Goranko, Valentin, Kyrilov, Angelo, Shkatov, Dmitry


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic

    Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic von Kyrilov, Angelo, Noelle, David

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Grading Systems

    Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Grading Systems von Kyrilov, Angelo, Noelle, David C

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: