نتائج البحث

1

Algorithms for Smart Cities

Algorithms for Smart Cities

منشور في 2024

احصل على النص الكامل

Livro

2

Automated Deduction – CADE 28

Automated Deduction – CADE 28

الحاوية / القاعدة Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

احصل على النص الكامل

Livro

3

Automated Reasoning

Automated Reasoning

الحاوية / القاعدة Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

احصل على النص الكامل

Livro