Showing 1 - 5 results of 5 for search 'Tomer Libal', query time: 0.03s Refine Results
  1. 1
    Legal linguistic templates and the tension between legal knowledge representation and reasoning

    Legal linguistic templates and the tension between legal knowledge representation and reasoning by Tomer Libal

    Published 2023-04-01
    Get full text
    Article
  2. 2
    Determinism in the Certification of UNSAT Proofs

    Determinism in the Certification of UNSAT Proofs by Tomer Libal, Xaviera Steele

    Published 2017-12-01
    Get full text
    Article
  3. 3
    Certification of Prefixed Tableau Proofs for Modal Logic

    Certification of Prefixed Tableau Proofs for Modal Logic by Tomer Libal, Marco Volpe

    Published 2016-09-01
    Get full text
    Article
  4. 4
    Advanced Proof Viewing in ProofTool

    Advanced Proof Viewing in ProofTool by Tomer Libal, Martin Riener, Mikheil Rukhaia

    Published 2014-10-01
    Get full text
    Article
  5. 5
    PROOFTOOL: a GUI for the GAPT Framework

    PROOFTOOL: a GUI for the GAPT Framework by Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel-Paleo

    Published 2013-07-01
    Get full text
    Article

Search Tools: