Sökresultat

1

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

2

Programming Languages and Systems

Programming Languages and Systems

I publikationen Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Hämta fulltext

Livro