Bilaketaren emaitzak

1

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

2

Programming Languages and Systems

Programming Languages and Systems

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Testu osoa

Livro