A Rule-Based System for Computation and Deduction in Mathematica

von Marin, Mircea
Veröffentlicht in WRLA (13. : 2020 : Online) Rewriting logic and its applications (2020)

Unranked Nominal Unification

von Dundua, Besik
Veröffentlicht in TbiLLC (13. : 2019 : Batumi) Language, logic, and computation (2022)

Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms

von Dedabrishvili, Mariam
Veröffentlicht in IEA/AIE (34. : 2021 : Online) Advances and trends in artificial intelligence ; Part 1: Artificial intelligence practices (2021)

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, proceedings

Veröffentlicht 2023