-
1تقرير
المؤلفون: Lellmann, Björn, Marek, Philipp, Triska, Markus
المصدر: In: Gibbons, J., Miller, D. (eds) Functional and Logic Programming. FLOPS 2024. Lecture Notes in Computer Science, vol 14659. Springer, Singapore
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
URL الوصول: http://arxiv.org/abs/2406.15293
-
2دورية أكاديمية
المؤلفون: Recski, GáborAff1, IDs10579024097477_cor1, Iklódi, Eszter, Lellmann, BjörnAff1, Aff2, Kovács, ÁdámAff1, Aff3, Hanbury, AllanAff1, Aff4
المصدر: Language Resources and Evaluation. :1-40
-
3تقرير
المؤلفون: Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2006.05436
-
4
-
5كتاب إلكتروني
المؤلفون: Lellmann, BjörnAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Das, Anupam, editorAff8, Negri, Sara, editorAff9
المصدر: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. 12842:147-164
-
6تقرير
المصدر: In Hans de Nivelle (ed.), Proceedings of TABLEAUX 2015. Pages 323-338. 2015
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1705.03211
-
7تقرير
-
8دورية أكاديمية
المؤلفون: Lellmann, BjörnAff1, Gulisano, Francesca, Ciabattoni, Agata
المصدر: Artificial Intelligence and Law. 29(3):351-394
-
9كتاب إلكتروني
المؤلفون: Dalmonte, TizianoAff10, Lellmann, BjörnAff11, Olivetti, NicolaAff10, Pimentel, ElaineAff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Artemov, Sergei, editorAff8, Nerode, Anil, editorAff9
المصدر: Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. 11972:27-46
-
10تقرير
المؤلفون: Kuznets, Roman, Lellmann, Björn
المصدر: Logic Journal of the IGPL, Volume 24(3):375-423, June 2016
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic
URL الوصول: http://arxiv.org/abs/1502.00814