Showing 1 - 2 results of 2 for search 'Tomer Libal', query time: 0.02s
Refine Results
-
1
Legal linguistic templates and the tension between legal knowledge representation and reasoning by Tomer Libal
Published 2023-04-01
Article -
2
Advanced Proof Viewing in ProofTool by Tomer Libal, Martin Riener, Mikheil Rukhaia
Published 2014-10-01
Article