Bilaketaren emaitzak

1

Algorithms for Smart Cities

Algorithms for Smart Cities

Argitaratua 2024

Testu osoa

Livro

2

Automated Deduction – CADE 28

Automated Deduction – CADE 28

Argitaratua izan da Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Testu osoa

Livro

3

Automated Reasoning

Automated Reasoning

Argitaratua izan da Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Testu osoa

Livro