Sökresultat

1

Algorithms for Smart Cities

Algorithms for Smart Cities

Publicerad 2024

Hämta fulltext

Livro

2

Automated Deduction – CADE 28

Automated Deduction – CADE 28

I publikationen Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Hämta fulltext

Livro

3

Automated Reasoning

Automated Reasoning

I publikationen Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Hämta fulltext

Livro